@guites @mai dentro de mim, existem dois lobosum usa Schemeo outro usa Haskell com DataKinds e Type Families