1 2 3 4 5 6 7 8
module T7164 where class Foo m where herp :: (a -> a) -> m b -> m b derp :: m a derp :: Int derp = 123