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