Add Effect.Foldable and Data.List.Effectful.Foldable implementation#2300

jamesmckinna merged 16 commits into

agda:masteragda/agda-stdlib:masterfrom

jamesmckinna:foldablejamesmckinna/agda-stdlib:foldableCopy head branch name to clipboard