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