Stephen Lazaro

Tests seem to pass for me locally, but I have to give quite a lot of memory and it still hangs, which is odd. Everything else except dotty compilation is...

Cool, I merged and updated this a bit - I imagine there are a few things I'll have to fix trailing off of that (not least any MIMA exceptions since...

I believe all checks pass and I've managed to get existing feedback - please let me know if I've overlooked anything. This is my last day of vacation - I'll...

I do find myself missing the `validate` command. ;)

Yeah, I'd read that Kmett thread back when opening this - it's true that it's a bit difficult to say what exactly the right choices are. I think we vaguely...

It gets pretty difficult to actually run some of the laws even once they are expressed, because generating things with `Nothing` in their type gets pretty hard, and much worse...

@armanbilge This is probably as complete as it's going to get at this stage - let me know if there are thoughts on it.

I'll start on the `Alternative` docs, unless someone else beats me to it.

I'll pick up `Profunctor` and `Strong` next unless someone beats me to it.

Apologies! I have been preoccupied with my wedding. Seeing that there are comments here, I will endeavor to resolve them this weekend. If there is other feedback, I would appreciate...