GHC.Prim: Add Class Coercible (#28)
GHC.Prim: Add Class Coercible (#28)

together with a “directed” helper class Unpeel. The goal is to get
something that works “well enough” for GeneralizedNewtypeDeriving.

antalsz/hs-to-coq,antalsz/hs-to-coq