{-# LANGUAGE ExistientialQuantification #-}
-- tests for mis-spelled LANGUAGE pragma error message

module ShouldFail where