path: root/testsuite/tests/typecheck/should_fail/AssocTyDef06.hs

{-# LANGUAGE TypeFamilies #-}
module AssocTyDef06 where

class Cls a where
    type Typ a
    type Typ a b = Int
      -- Too many params for default