readFail046.hs:1:14:
    Unsupported extension: ExistientialQuantification
    Perhaps you meant ‘ExistentialQuantification’ or ‘NoExistentialQuantification’