"Haxl: A Big Hammer for Concurrency" by Simon Marlow