I would sit him through a few Leslie Lamport lectures on category theory, maybe just 10 hours worth of material. I think this would be enough to get him stared

I would sit him through a few Leslie Lamport lectures on category theory, maybe just 10 hours worth of material. I think this would be enough to get him stared with Haskell.