demos for Haskell13