Variant
  •    
    {
    list
    (
    β
    )
     
    TyRecord_row
    , 
    α
     
    TyRecord_rowvar
    }
  • or 
    {
    void
     
    ...
    }
tvar (
α
 
tv)

Comments

The browser you use is not supported by this application, probably because it lacks some critical features.
For a better experience, please consider using this application with a supported browser.