tcfail063.hs:6:9: error: [GHC-83865]
    • Expecting one more argument to ‘Num’
      Expected a constraint, but ‘Num’ has kind ‘* -> Constraint’
    • In the type signature: moby :: Num => Int -> a -> Int