ohnosequences/cosas — pull request #33 by laughedelic (2014-12-19 13:40:45+00:00)
Title: Filter a typeset with a type-level predicate

I wanted to do it for some time. It's easy, see `CheckForAll`/`CheckForAny`.