/caterwaul/Identity

Exported files:

• Kind
• Type
• adjunction:

  ../Adjunction/Type object object v cat cat (./Type object) (./Type object)
  

• bimonad
• comonad
• monad
• package.dhall

Exported packages:

• functor/