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