fix: make deriving handler for Repr be consistent about erasing types and proofs

fix: make deriving handler for Repr be consistent about erasing types and proofs #15774