T18612.hs:14:11-68: Splicing type
    conT ''Proxy `appT` (promotedTupleT 1 `appT` (tupleT 0))
  ======>
    Proxy ('Solo ())
T18612.hs:(10,7)-(11,75): Splicing type
    arrowT `appT` (conT ''Identity `appT` (tupleT 1 `appT` (tupleT 0)))
      `appT` (conT ''Identity `appT` (tupleT 1 `appT` (tupleT 0)))
  ======>
    Identity (Solo ()) -> Identity (Solo ())
T18612.hs:12:4-36: Splicing pattern
    conP 'Identity [tupP [tupP []]] ======> Identity (Solo())
T18612.hs:12:41-78: Splicing expression
    conE 'Identity `appE` tupE [tupE []] ======> Identity (Solo ())