typehandleof<'T> requires explicit type arguments (same as typeof<'T>). However, it still can't be compiled -- appears to be a parser bug, as the code is identical to the code within the definition of typeof<'T> within FSharp.Core/prim-types.fs.