cats$derived$MkEmptyK$anonimplicit$0
cats$derived$MkEq$anonimplicit$0
cats$derived$MkFoldable$anonimplicit$0
cats$derived$MkFunctor$anonimplicit$0
cats$derived$MkPure$anonimplicit$0
cats$derived$emptyk$anonimplicit$0$1
cats$derived$foldable$anonimplicit$0$1
cats$derived$functor$anonimplicit$0$1
cats$derived$pure$anonimplicit$0$1
cats$derived=$anonimplicit$0$1