1 2 3 4 5 6 7
{-# LANGUAGE TypeFamilies #-} module AssocTyDef06 where class Cls a where type Typ a type Typ a b = Int -- Too many params for default