@value interface Interface {}

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