Justin Le

Hm just remembered that peek and peeks can also be defined in terms of seek and seeks

Not sure where I've ever seen this idiom?

ah. i usually do `flip evalState x`, things like that. (`evalState` x) does look a bit silly, but `flip evalState x` seems pretty mundane to me. that being said, the...

I doubt you'd find a bunch of `rightToMaybe`, because -- 1. I've always seen it used by other names, like `censor`, or `eitherToMaybe` -- there's no universally agreed name 2....

@f-f wondering if there has been any updates on this, or if there's a stable fork you might recommend using :)

@f-f ah, thanks!

This looks good, actually -- `HFix` is not too far off from `HFree`, which is already in the package :) Would be happy to merge this in once cleaned up....

thanks so much for this, this is great :) do you mind if i use it while crediting you in an upcoming blog post tutorial?

@isovector explores these concepts pretty deeply in [this blog post](http://reasonablypolymorphic.com/blog/higher-kinded-data/) and calls them "higher-kinded data" :)