zipper -package:streams -package:traverse-with-class package:Agda is:module