Description
Having trouble deriving instances because of type roles? Solve it here!
Description
Please see the README on GitHub at https://github.com/parsonsmatt/coerce-role#readme
README.md
coerce-role
Trying to derive something and role
s got you down? Use this library/trick to work around it!
This library uses a trick from How QuantifiedConstraints can let us put join back in Monad.