This design is beautiful and elegant, just like Haskell.