Classe de tipos para mapeamento, dobra e percorrimento de contêineres monomórficos
