1 2 3 4 5 6
{-# LANGUAGE TypeFamilies #-} module AssocTyDef07 where class Cls a where type Typ a = Int -- Default without family