`Bizarre` as a superclass of `IndexedComonadStore`?
Zemyla opened this issue · 0 comments
Zemyla commented
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
, andiseeks
toBizarre
. - Have
Bizarre (->) w
be a superclass ofIndexedComonadStore
.