I presented at THAT Conference about how to learn functional programming through first principles