addm (Just 3) (Just 4)
:q
