failing at contramapping entailment

absolutenonsense.hs

type Whatever
  (c :: k -> Constraint)
  (f :: k -> *)
  (v :: k)
  = forall x. (c v => f v -> x) -> x

class Everything (a :: k)
instance Everything a

foo :: (forall x. (cb b => x) -> (ca a => x), f b -> f a) -> (ca a => f a) -> (cb b => f b)
foo (cba, 

-- type family Append (a :: k -> Constraint) (b :: k -> Constraint) :: k -> Constraint
--   where
--   Append f g =
-- instance (a x, b x) => Both a b (a

-- foo :: Whatever (MonadError String) Monad a -> Whatever Everything Everything (Either String a)
-- foo ma cb = cb $ ma runExceptT

test :: Monad m => ExceptT e m a -> m (Either e a)
test = runExceptT

-- interpretReader scroll = flip runReaderT scroll
--