1 2 3 4 5 6 7 8 9 10 11 12 13
{-# LANGUAGE FunctionalDependencies #-} {-# OPTIONS_GHC -ddump-types #-} module T12763 where class C a | -> a where m :: a -> () instance C Int where m = undefined -- Expecting inferred type f :: Int -> () f x = m x