1 2 3 4 5 6 7 8
{-# LANGUAGE GADTs #-} -- Check that trailing parens are ok in data con signatures module ShouldCompile where data T where MkT :: Int -> (Int -> T)