1import GHC.Generics 2 3class Yo f where 4 yo :: f x -> Int 5 6instance (Yo f) => Yo (M1 _1 _2 f) where 7 yo (M1 fx) = yo fx 8 9