(sin efectos secundarios, transparencia referencial, mismo resultado dado los mismos datos de entrada) 3. ADT (Algebraic Data Types) 4. Typeclasses más usadas (Either, Option, Future, Try, List) 5. State, Writter, Reader, Kleisli y MonadT. 6. Un poquito de Shapeless para hacer parsers. 7. Parser combinators. 8. Demás drogas duras de FP.