Lambda Calculus forms the fundamentals of functional programming. If it can be described as a function,

it can be described in the lambda calculus and consequently written in Haskell

=== Alpha equivalence ===