Expose subset typeclass (:<)
Reduce need for `Void`.