The slide below describing "Type it to the max" seems to describe what you're referring to. It's powerful, but I don't think they are beginner languages. http

The slide below describing "Type it to the max" seems to describe what you're referring to. It's powerful, but I don't think they are beginner languages. http://www.cs.ox.ac.uk/ralf.hinze/WG2.8/31/slides/martin.pdf http://www.cs.ox.ac.uk/ralf.hinze/WG2.8/31/slides/martin.pdf