Hi, <br><br>I have a function that returns<br><br>        Basis.list<br>                $(<UNIF:U16369::{Type}> ++<br>                   [#Here = myType, <br>                     #There = myType])<br><br>according to the type checker. How can I express its signature so that it compiles? Is it possible to express that I have these two fixed fields and some others?<br>
<br>- Gergely<br>