Kind of combinator

Fixes #80.