@value interface Interface { }

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