0.3.0 (2022-04-23)

• use more consistently useful type variable order across definitions

0.2.1 (2022-04-23)

• add unsafeWithRefine :: forall p ps a. a -> WithRefine ps p a

0.2.0 (2022-04-23)

• rename unWithRefine to withoutRefine
• reorder reallyUnsafeEnforce typevars for visible type application convenience

0.1.0 (2022-04-22)

Initial release.

• extracted from gtvm-hs