1 2 3 4
T6021.hs:5:22: error: Variable ‘b’ used as both a kind and a type Did you intend to use TypeInType?