Don't fear the monads
Another video to watch about static typing