Computer science movie

http://youtu.be/yMSsf9szC2o

They're releasing a movie about the greatest computer scientist of our time.

>>54
HALP! I'm trying to translate (if t (lambda (x) x) (lambda (x) (first x))) into Haskell, but GHC gives me the following error:
Prelude> (if True then (\x -> x) else (\x -> fst x))

<interactive>:1:36:
    Occurs check: cannot construct the infinite type: a = (a, b)
      Expected type: (a, b)
      Inferred type: a
    In the expression: fst x
    In the expression: (\ x -> fst x)