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