4 ms·

This is also possible in typescript which is a little more mainstream than Idris.

• naasking 4y ago
  TypeScript's type system is not consistent though.