{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE TypeFamilies #-}
module AssocTyDef02 where

class Cls a where
    type Typ a
    type Typ [b] = Int
      -- Default is not parametric in type class params