1 2 3 4 5 6 7 8 9 10
==================== Parser ==================== module ShouldCompile where data T where C1 :: Int %1 -> T C2 :: Int %m -> T C3 :: Int -> T