1 2 3 4 5
tcfail107.hs:13:9: Type synonym ‛Const’ should have 2 arguments, but has been given 1 In the type signature for ‛test’: test :: Thing (Const Int) -> Thing (Const Int)