For Haskell Explication and Perpetuation