A Small Positive Supercompiler in F#