[perpetua]

Lambda has first-class type support. Type can be constructed like data at runtime under Lambda, which is more powerful than most programming languages.