ERROR "mod4.hs" - Entity "K2" is not a constructor of type "T"