Add Extract and Comonad instances

[paf31]

I'm fairly sure FreeAp w is a Comonad whenever w is. One way to see this is to build it out of Day, Identity and Coproduct:

https://gist.github.com/paf31/fbc28d9f89f511cc65ab57731f31b278

[ethul]

Sounds good. I am refactoring FreeAp currently and doing some performance comparisons. I will look into adding a comonad instance with the refactoring.

…

On Mon, Nov 28, 2016 at 23:21 Phil Freeman ***@***.***> wrote: I'm fairly sure FreeAp w is a Comonad whenever w is. One way to see this is to build it out of Day, Identity and Coproduct: https://gist.github.com/paf31/fbc28d9f89f511cc65ab57731f31b278 — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#8>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAVYy-ZWPJtund0oB5nlKXqHZmpxtw51ks5rC6hCgaJpZM4K-jU9> .