Re: [Haskell-cafe] FRP (was: Semantic Domain, Function, and denotational model)