reallyUnsafe package:refined

A coercion between two Refined types, magicking up the claim that one predicate is entirely equivalent to another.
Constructs a Refined value, completely ignoring any refinements! Use this only when you can manually prove that the refinement holds.
A coercion between a type and any refinement of that type. See Data.Type.Coercion for functions manipulating coercions.