maybeFactorial :: Integer -> Maybe Integer
maybeFactorial a
    | a < 0 = Nothing
    | otherwise = Just (doFactorial a)

    where
        doFactorial :: Integer -> Integer
        doFactorial x
            | x == 0 = 1
            | otherwise = x * (doFactorial (x - 1))