@seako thanks! i've been busy so just getting around to reading this, but it looks really interesting!

and i'll think a little more about writing the post. it's not so complicated from the category theory side, so i don't think i need to worry about my level of knowledge with that...more so with test.check. maybe if i've worked with it a bunch more by the time @gfredericks revamps his docs i can add it to the wiki there