coerce-role

Trying to derive something and roles 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.