1º versión del TypeDec