You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
Every
IndexedComonadStore
is aBizarre
.iexperiment
witnesses this. Moreover,iseeks
is a function with a definition for everyBizarre
so far (it mapsa
toa'
in aw a b t
).So my proposal is:
ipeek
,ipeeks
,iseek
, andiseeks
toBizarre
.Bizarre (->) w
be a superclass ofIndexedComonadStore
.The text was updated successfully, but these errors were encountered: