import Unsafe.Coerce (unsafeCoerce)

class Foo r
instance Ord a => Foo a

f :: (Eq a, Foo a) => a -> a
f a = a

g :: Eq a => a -> a
g x = unsafeCoerce (f x)

main = print $ g "abb"