ekmett/lens

`Bizarre` as a superclass of `IndexedComonadStore`?

Zemyla opened this issue · 0 comments

Every IndexedComonadStore is a Bizarre. iexperiment witnesses this. Moreover, iseeks is a function with a definition for every Bizarre so far (it maps a to a' in a w a b t).

So my proposal is:

  • Move ipeek, ipeeks, iseek, and iseeks to Bizarre.
  • Have Bizarre (->) w be a superclass of IndexedComonadStore.