Explaining Haskell with Maybe