[ cleanup ] imports in the Effect.Monad modules#2371

MatthewDaggitt merged 1 commit intoagda:masteragda/agda-stdlib:masterfrom

gallais:cleanup-effect-monadgallais/agda-stdlib:cleanup-effect-monadCopy head branch name to clipboard