[Haskell-cafe] Mono-whatever

[David Feuer]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20151115/2a6c8925/attachment.html>