Portability  nonportable 

Stability  experimental 
Maintainer  sjoerd@w3future.com 
Safe Haskell  SafeInferred 
Documentation
Category Void 

HasInitialObject k => HasColimits Void k  An initial object is the colimit of the functor from 0 to k. 
HasTerminalObject k => HasLimits Void k  A terminal object is the limit of the functor from 0 to k. 