The monad and lifting fixes this problem of having to unroll the maybe type. But this is an advanced abstraction. I actually disagree with this. Use the maybe

The monad and lifting fixes this problem of having to unroll the maybe type. But this is an advanced abstraction. I actually disagree with this. Use the maybe type religiously, even without the monad because it prevents errors via exhaustive matching. The exception should only be used if your program detects a bug.