It's pretty neat that category theory is seeping into more programming languages. Even if Haskell doesn't survive, the functors and monads might live on.