module Internal =
    type T = T with
      static member inline ($) (T, _: unit) = ()
      static member inline ($) (T, _: int) = 0 // mandatory second terminal case; is unused in runtime but is required for the code to compile
      static member inline ($) (T, _: ^a -> ^b): ^a -> ^b =
          fun (_: 'a) -> T $ Unchecked.defaultof<'b>

    let inline negate(): 'a =
      T $ Unchecked.defaultof<'a>

  let inline kprintf tag format tp =
    if Internal.logsEnabled
    then Printf.kprintf (fun s -> Internal.put tp tag s) format
    else Internal.negate()