Wherever an inline value is required, it could actually be “nothing”. It would be helpful to have an extra constructor in the inline type that would represent that. As it is today, inline feels like an unlucky monoid which lost its neutral element :-)
cuihtlauac
commented
1 year ago
Wherever an inline value is required, it could actually be “nothing”. It would be helpful to have an extra constructor in the inline type that would represent that. As it is today, inline feels like an unlucky monoid which lost its neutral element :-)