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