Add support for the TypeData extension #235
Description
We should support the TypeData extension:
{-# LANGUAGE TypeData #-}
module M where
type data D a = MkD a
type data F a where
MkF :: F Int{{ message }}
We should support the TypeData extension:
{-# LANGUAGE TypeData #-}
module M where
type data D a = MkD a
type data F a where
MkF :: F Int