== -package:hmatrix -package:classy-prelude package:dependent-sum

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