1 2 3 4
rnfail053.hs:5:10: Not a data constructor: ‘forall’ Perhaps you intended to use ExistentialQuantification