Types are a powerful construct for improving program safety.Haskell has a few notable ways of handling potential failure, the most famous being the venerable...| www.parsonsmatt.org
