[ add ] partial elements in Effect.Monad.Partial module#2796

e-mniang wants to merge 17 commits into

agda:masteragda/agda-stdlib:masterfrom

e-mniang:partiale-mniang/My-agda-stdlib:partialCopy head branch name to clipboard