module Everything where import Basic import Category import Functor import Nat import Yoneda import Adjoint import Monad import TAlgebra