Davide Giuseppe Farella
08/30/2020, 7:58 AMs
should be inlined
( Note how only the first form of when
hint me that it should be exhaustive 🤔, changing order still hint only for that form )
( Using One
as initial or with explicit : Type
it doesn’t change at all, nor changing the order of the `when`s )