Add related work for defunctionalization and cloud haskell.
Add that "Haste is small and awesome"