Extensional capabilities and deriving combinators - View it on GitHub