This way you can use `absurd`. Although if we implement https://github.com/purescript/purescript/issues/2922 then this is not necessary.
This way you can use
absurd. Although if we implement purescript/purescript#2922 then this is not necessary.