@type interface Interface<|#x> {}

concrete Type<|#x> {
  @value something<#y>
    #y defines Interface<#x>
  () -> ()
}