:: Maybe Int -> Int -> Int package:funcmp