
tcfail057.hs:5:7:
    Predicate `RealFrac a' used as a type
    In the type signature for `f': f :: (RealFrac a) -> a -> a
