*d-bus*.txt

 Couldn't match type ‘'[]’ with ‘'['TypeUnit]’ …
    Inaccessible code in
      a pattern with constructor
        STypeUnit :: forall (z_a84Kq :: DBusType).
                     z_a84Kq ~ 'TypeUnit =>
                     Sing z_a84Kq,
      in a case alternative
    In the pattern: STypeUnit
    In a case alternative: STypeUnit -> SNil
    In the expression:
      case rts of {
        STypeUnit -> SNil
        STypeStruct ts -> ts
        t -> SCons t SNil }