Library CT.Instance.Coq
Require Export CT.Instance.Coq.BinaryProduct.
Require Export CT.Instance.Coq.Category.
Require Export CT.Instance.Coq.Functor.
Require Export CT.Instance.Coq.Monad.
Require Export CT.Instance.Coq.Category.
Require Export CT.Instance.Coq.Functor.
Require Export CT.Instance.Coq.Monad.