Drunk on types and functional programming