:: ClosedTerm a -> Script package:adjunctions is:exact