An experimental libray for non-symmetric safe coercion
Why do you think that https://github.com/typeclasses/assoc-list is a good alternative to coercible-subtypes
An experimental libray for non-symmetric safe coercion
Why do you think that https://github.com/typeclasses/assoc-list is a good alternative to coercible-subtypes