1 2 3 4 5
ERROR "tcfail125.hs":11 - Cannot justify constraints in explicitly typed binding *** Expression : f *** Type : Obs a -> String *** Given context : () *** Constraints : Show a