path: root/testsuite/tests/typecheck/should_fail/tcfail063.stderr

tcfail063.hs:6:9:
    Expecting one more argument to `Num'
    Expected a constraint, but `Num' has kind `* -> Constraint'
    In the type signature for `moby': moby :: Num => Int -> a -> Int