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