1 2 3 4 5 6 7 8
{-# LANGUAGE GADTs #-} {-# LANGUAGE TypeFamilies #-} module Bug where newtype N a where MkN :: Show a => a -> N a type family T a type instance T (N a) = N a