concrete Type<#x> {
  @value something<#x>
  () -> ()
}