scalaz.example.transformers.typecheck.TypeCheckerWithExplicitTypesAST
(Since version 2.8.0) use productIterator instead