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