1 2 3 4 5
tcfail158.hs:14:19: Expecting one more argument to ‛Val v’ Expected a type, but ‛Val v’ has kind ‛* -> *’ In the type signature for ‛bar’: bar :: forall v. Val v