T17461.hs:(8,3)-(10,6): Splicing declarations
    [d| type (:+:) :: Type -> Type -> Type
        
        type (:+:) = Either |]
  ======>
    type (:+:) :: Type -> Type -> Type
    type (:+:) = Either