haskell - numero - Tipo de álgebra y notación de flecha arriba de Knuth