Add function currying example
Add option monad example
Add a much better validation implementation