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