{-# OPTIONS_GHC -fglasgow-exts #-}
module Test where
data Moose a where
    Blah { x :: Int, y :: Int } :: Moose Int