Deprecated warning text mentions "Just"
See
src/full/Agda/Syntax/Concrete/Definitions/Types.hs:183:38: error: [GHC-68441] [-Wdeprecations, -Werror=deprecations]
In the use of ‘unzip’
(imported from Agda.Utils.List1, but defined in Just Data.List.NonEmpty):
Deprecated: "This function will be made monomorphic in base-4.22, consider switching to Data.Functor.unzip"
|
183 | let fdef dcss = let (dss, css) = List1.unzip dcss in
|
It should be "defined in Data.List.NonEmpty", not "defined in Just Data.List.NonEmpty".