Handtyped Numbers.

“You’re… defining the natural numbers by hand? Why?”

“Haskell is for mathematicians,” you explain. “We always define our terms.”

aphyr: Typing the technical interview