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