A type checked functional language.