Simplify dependencies in Codata.Musical.Colist#1838

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

jamesmckinna:musical-colist-dependencyjamesmckinna/agda-stdlib:musical-colist-dependencyCopy head branch name to clipboard