[fixes #1363] Add `Algebra.Literals`#2264

jamesmckinna wants to merge 2 commits intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:pointed-monoid-literalsjamesmckinna/agda-stdlib:pointed-monoid-literalsCopy head branch name to clipboard