uncurry -package:basic-prelude -package:strict -package:ghc-lib-parser package:Agda