tcfail057.hs:5:7: error: [GHC-83865] • Expected a type, but ‘RealFrac a’ has kind ‘Constraint’ • In the type signature: f :: (RealFrac a) -> a -> a