-
Austin Seipp authored
Data.Coerce is a Trustworthy module which safely exports both `Coercible` and `coerce` for use by users, as it can now be considered safe under role checking. See the ticket for details. Signed-off-by: Austin Seipp <austin@well-typed.com>
f932b799