mod5.hs:2:10: Warning:
    ‘K1’ is exported by ‘T(K1, K1)’ and ‘T(K1, K1)’