Boot.hs:5:13:
    Not a data constructor: ‛forall’
    Perhaps you intended to use -XExistentialQuantification