Data.Generics.SYB.WithClass.Context
class Sat a
data NoCtx a
data PairCtx l r a