Reflexive 'Subtype' instance
commitc2edab57c66bdfdd946b12d27627ab5eb4c20c9d
authorCsongor Kiss <kiss.csongor.kiss@gmail.com>
dateMon 10 Jun 2019, 11:59 (7 years ago)
parentcf20ae3
src/Data/Generics/Product/Subtype.hs+3
@@ -129,6 +129,9 @@ instance
129129 smash p b = to $ gsmash (from p) (from b)
130130 upcast = to . gupcast . from
131131
132+instance {-# OVERLAPPING #-} Subtype a a where
133+ super = id
134+
132135-- See Note [Uncluttering type signatures]
133136instance {-# OVERLAPPING #-} Subtype a Void where
134137 super = undefined