title: Abstract type definitions f#
body: <p>I am looking to define a couple of types in an interface or abstract class with the implementation left unspecified.
  I then want to inherit from this interface in another, so that i can specify my methods in interface2 with the types that were defined in the first interface.</p>
  
  <p>Eg:</p>
  
  <pre><code>type Interface1 =
        type MyType1
        type MyType2
  
  type Interface2 =
        inherit Interface1
        abstract member method1 : MyType1*MyType2 -&gt; int
  
  
  Module MyModule =
  </code></pre>
  
  <p>The idea is that i want the module to then implement interface2, so it should implement MyType1 and MyType2, and method1.</p>
  
  <p>The reason i'm not doing all this in a signature file is because i want to be able to implement type1 and 2 in c# as well, but implementing Interface1.</p>
  
  <p>Can anyone help me with this?</p>