Why is it that any time I mention anything remotely connected to the lambda calculus everyone starts smirking?