Edsko de Vries 929dcd01c8 Introduce `dropAnnotation` ... This relies on some fairly intricate `generics-sop` code, which we might be able to upstream. See https://github.com/well-typed/generics-sop/issues/163 .		2023-03-23 14:35:50 +01:00
..
Main.hs	Introduce `dropAnnotation`	2023-03-23 14:35:50 +01:00