came up with a fix, so you cannot supply different types
    
    
    type
      same[T] = T
      Gen[A:auto,val:static[same[A]]] = same[A]
    
    
    Run

Reply via email to