On 2/6/19 10:33 AM, Matthew Pickering wrote: > This question is answered in section 4.3 of the paper. > > https://www.kosmikus.org/DerivingVia/deriving-via-paper.pdf > Is there a package containing SameRepAs and other such convenient newtypes on Hackage or Github? Cheers, Li-yao