mod10.hs:2:10: error:
    • Not in scope: type constructor or class ‘T’
    • In the export: T(K1)