path: root/testsuite/tests/typecheck/should_compile/T5481.hs

{-# LANGUAGE TypeFamilies, MultiParamTypeClasses #-}
module T5481 where

class Foo a b where
    type X a
    type X a = b
    type Y b
    type Y b = a