1 2 3 4 5
module AssocTyDef07 where class Cls a where type Typ a = Int -- Default without family OR extension flag