T17394.hs:10:13-65: Splicing type
    infixT (conT ''Maybe) ''(:*:) (conT ''Maybe)
  ======>
    (:*:) Maybe Maybe
T17394.hs:9:13-67: Splicing type
    infixT (promotedT 'Nothing) '(:*:) (promotedT 'Nothing)
  ======>
    '(:*:) 'Nothing 'Nothing