Don't fear the Monad

Universality:You can convert any function into a table lookup... , and the function is just data (start at 355)

{{#ev:youtube|ZhuHCtR3xq8|||| |start=355&end=365}}

Monad in terms of Functions, Monoids, Monads...(start at 455)

{{#ev:youtube|ZhuHCtR3xq8|||| |start=472&end=500}}