== package:dependent-sum

Convenience helper. Uses pure to lift a into f a.