Alas, I last worked there in late 2017 (or 2016 or so?). I don't recall these details.

I worked on Bloomberg DLIB which is basically an implementation of https://www.cs.tufts.edu/~nr/cs257/archive/simon-peyton-jone...