-- | infix version of 'addToContext'
(~+=:) :: (T.Typeable t) => Context -> t -> Context
c ~+=: t = addToContext c t
(~+=:) :: (T.Typeable t) => Context -> t -> Context
c ~+=: t = addToContext c t
c ~+=: t = addToContext c t