"Any language large enough to be useful is dauntingly complex" -- Simon Peyton-Jones