mod3.hs:2:10:
    The export item ‘T(K1)’
    attempts to export constructors or class methods that are not visible here