Estou preparando uma apresentação que contém código Haskell em alguns slides e Agda em outros. No entanto, lhs2TeXdespacha globalmente no idioma de entrada, uma vez que é especificado pela opção de linha de comando --haskellou --agda. Existe uma maneira de misturar os dois?