tuckergs

I have an incredibly stupid ComonadApply instance for Store that satisfies the laws: ``` data Store s a = Store (s -> a) s Store f1 s1 Store f2 s2...

Actually, just realized that my proof of the duplicate law is wrong, and it turns out it's almost true, but not quite equal: ``` duplicate (Store f1 s1 Store f2...

I now have an instance for Store that I'm pretty sure obeys the laws ``Store f1 s1 Store f2 s2 = Store (\s -> f1 s (f2 s2)) s1`` Here's...