In Haskell Maybe is mostly used to encode the return type of partial functions: ones that are undefined for some values of their arguments. In that case, instead of failing, such functions return Nothing. In other programming languages partial functions are often implemented using core dumps.
