Websharper bug with closures