title: Does F# have a OCaml type t equivalent?
body: <p>With OCaml variants, I see</p>
  
  <pre><code>/* Reason syntax */
  module M = {
    type t =
      | Foo
      | Bar;
  };
  </code></pre>
  
  <p>quite a bit. F# seems to share the variants leaking into the parent module problem OCaml folks get around with modules.</p>
  
  <p>Does the F# community do something similar?</p>
  
  <pre><code>module M =
      type MType = | Baz
      type T =
        | None
        | Foo
        | Bar(MType)
  </code></pre>