title: Enforce explicit type arguments
body: <p>I have a generic function where it's easy to get the compiler to infer the wrong type parameters. The type parameters only control the return type, and if I accidentally miss off a type annotation, the compiler infers <code>obj</code>.</p>
  
  <p>How can I make it a compile-time error to call my function without giving it explicit type parameters? The <code>Unchecked.defaultof</code> function works the way I'd like:</p>
  
  <pre><code>&gt; Unchecked.defaultof;;
  
    Unchecked.defaultof;;
    ^^^^^^^^^^^^^^^^^^^
  
  stdin(1,1): error FS0685: The generic function 'defaultof' must be given explicit type argument(s)
  </code></pre>