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