sjoerdvisscher/unfoldable — pull request #1 by technogeeky (2012-05-21 22:13:53+00:00)
Title: presenting: triunfoldable

Pretty much mechanically written. Indeed, there doesn't seem to be much of kind

* -> * -> * -> *

Searching for this on hayoo turned up one thing, but it was in type family.