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.