concrete Type {
  @type something () -> ()
  @value something () -> (Type)
}