@type interface Type<#a, #b|#c, #d|#e, #f> {
  create () -> (optional #x)

  create2<#y>
    #y requires #x
    #y allows T2
    #y defines T3
  () -> (optional #x)
}