
tcfail135.hs:6:23:
    Expecting one more argument to `f'
    In the type `f a -> f'
    In the class declaration for `Foo'
