Made Up Stuff.

“Most of you use languages that were invented, and you can tell, can’t you. This is my invitation to you to use programming languages that are discovered.”

Philip Wadler: Propositions as Types