tcfail175.hs:11:1: error: [GHC-25897]
    • Couldn't match expected type ‘a’
                  with actual type ‘String -> String -> String’
      ‘a’ is a rigid type variable bound by
        the type signature for:
          evalRHS :: forall a. Int -> a
        at tcfail175.hs:10:1-19
    • The equation for ‘evalRHS’ has three value arguments,
        but its type ‘Int -> a’ has only one
    • Relevant bindings include
        evalRHS :: Int -> a (bound at tcfail175.hs:11:1)