path: root/testsuite/tests/rename/should_compile/2334.hs

{-# LANGUAGE TypeFamilies,EmptyDataDecls,MultiParamTypeClasses #-}
module Test where

type family Fam1 a

class C b where
    f :: ( Fam1 s ~ () ) => b -> s