testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T12067a.hs
1 module T12067a (MT(..), M) where
2
3 import Data.Functor.Identity
4
5 newtype MT m b = MT (m b)
6 type M b = MT Identity b