testsuite/tests/typecheck/should_fail/AssocTyDef04.hs

   1 {-# LANGUAGE TypeFamilies #-}
   2 module AssocTyDef04 where
   3
   4 class Cls a where
   5     type Typ a
   6     type Typ a = Maybe
   7       -- Wrong kind for default