uncurry -package:basic-prelude -package:strict-base-types -package:Agda package:first-class-families