<p dir="ltr">Does any package define a type like this?</p>
<p dir="ltr">data X :: * -> k -> k -> * where<br>
  X :: b -> X b t t</p>
<p dir="ltr">So</p>
<p dir="ltr">instance (MonoFoldable b, Element b ~ t) => Foldable (X b t) where<br>
  foldMap f (X b) = ofoldMap f b</p>