Haskell "SYB" Introduction.