Template:Haskell chapter/Wider Theory