title: automatic inference of parametric types
body: <p>I am using the code below and it seems Julia should be able to infer the type parameters by itself, however this is not the case. Any ideas, maybe I'm doing something wrong?</p>
  
  <pre><code>abstract type ABS{A,B} end
  
  struct MyStruct{A,B,K&lt;:ABS{A,B}}
      a::A
      b::B
      MyStruct{A,B,K}(a::A,b::B) where {A,B,K&lt;:ABS{A,B}} = new(a,b)
  end
  
  MyStruct{Int64,Float64,ABS{Int64,Float64}}(1,2.1) # &lt;&lt;-- works
  MyStruct(1,2.1) # &lt;&lt;-- doesn't work
  </code></pre>