Resolve the monad/comonad/adjunction variance of loss in --safe Agda#243

hyperpolymath merged 1 commit into

mainhyperpolymath/echo-types:mainfrom

claude/eager-heisenberg-r3gz3chyperpolymath/echo-types:claude/eager-heisenberg-r3gz3cCopy head branch name to clipboard