"the Haskell road to logic and mathematics"