path: root/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail063.stderr

tcfail063.hs:6:9:
    `Num' is not applied to enough type arguments
    Expected kind `?', but `Num' has kind `* -> *'
    In the type signature for `moby': moby :: Num => Int -> a -> Int