Core team @purescript. Engineering manager at Arista Networks.