Covering all constructors

[ni-ko-o-kin]

The reminder-function is the only thing that works AFAIK.

There was a proposal:

`enumerate` function for non-infinite custom types - proposal

tl;dr I propose the compiler would expose a “magical” function enumerate : Type a -> List a (for lack of better syntax) that would enumerate non-infinite types into a list: type MyType = Foo | Bar Baz type Baz = A | B | C enumerate Baz --> [A, B, C] enumerate MyType --> [Foo, Bar A, Bar B, Bar C] Motivation I’m regularly encountering situations where I have a custom type for which I need all its values to be processed (shown, aggregated, …). For example this thread. Cu…