lspace.librarian.process.traversal
https://stackoverflow.com/questions/25713668/do-a-covariant-filter-on-an-hlist
https://stackoverflow.com/questions/25713668/do-a-covariant-filter-on-an-hlist