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