1 2 3 4 5 6 7 8 9 10 11
{-# LANGUAGE GADTs, MultiParamTypeClasses #-} module T14325 where class (a~b) => C a b foo :: C a b => a -> b foo x = x hm3 :: C (f b) b => b -> f b hm3 x = foo x