Does any package define a type like this?

data X :: * -> k -> k -> * where
  X :: b -> X b t t

So

instance (MonoFoldable b, Element b ~ t) => Foldable (X b t) where
  foldMap f (X b) = ofoldMap f b