An experimental libray for non-symmetric safe coercion
Why do you think that https://github.com/unclechu/haskell-qm-interpolated-string is a good alternative to coercible-subtypes
An experimental libray for non-symmetric safe coercion
Why do you think that https://github.com/unclechu/haskell-qm-interpolated-string is a good alternative to coercible-subtypes