Yes PureScript has it. In practice, you check out of that by using unsafePartial, which effectively discharges the constraint. I’d love to ask @hdgarrood if the PureScript ecosystem has suffered from it?
1 Like