added haskell and FRP examples to paper