@value interface Interface { }

concrete Type<#x|> {
  #x requires Interface
}