Computer science movie

http://youtu.be/yMSsf9szC2o

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

>>99
So your function is if True then id else tail.
No. My function is (if True then (id | tail) else (id | tail)). I.e. a union of types. Like void pointer has type of union of all types.