Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
EAL could even have type-level recursion without becoming inconsistent! Sadly, programming with EAL is awkward at best. It requires programmers to write explicit duplications with very unfamiliar restrictions. Some common programming idioms are even impossible: nested for-loops, for example. You