My Haskell talk on Category, Arrow, and signal functions