torrestthom

Haskell features a type system with type inference and lazy evaluation.