uncurry -package:basic-prelude -package:github -package:classy-prelude package:Agda