He posted about him leaving Facebook on Linkedin: https://www.linkedin.com/feed/update/urn:li:activity:7302785...

He also reflected on his time and Haskell usage at Facebook here: https://www.youtube.com/watch?v=gEWBHP0PvRw&list=PLQpeDZt0_x...