110.54 s[haskerwaul] Warning: Haskerwaul.Category.Closed: InternalHom is exported separately but will be documented under ClosedCategory. Consider exporting it together with its parent(s) for code clarity.
110.54 s[haskerwaul] 80% ( 4 / 5) in 'Haskerwaul.Category.Closed'
110.61 s[haskerwaul] Warning: Haskerwaul.Residual.Right: RightRes is exported separately but will be documented under RightResidual. Consider exporting it together with its parent(s) for code clarity.
110.61 s[haskerwaul] 50% ( 1 / 2) in 'Haskerwaul.Residual.Right'
110.62 s[haskerwaul] Warning: Haskerwaul.Residual.Left: LeftRes is exported separately but will be documented under LeftResidual. Consider exporting it together with its parent(s) for code clarity.
110.62 s[haskerwaul] 50% ( 1 / 2) in 'Haskerwaul.Residual.Left'
110.63 s[haskerwaul] Warning: Haskerwaul.Residual: Res is exported separately but will be documented under Residual. Consider exporting it together with its parent(s) for code clarity.
110.63 s[haskerwaul] 80% ( 4 / 5) in 'Haskerwaul.Residual'
110.64 s[haskerwaul] Warning: Haskerwaul.Object.Exponential: Exp is exported separately but will be documented under Exponential. Consider exporting it together with its parent(s) for code clarity.
110.64 s[haskerwaul] 75% ( 3 / 4) in 'Haskerwaul.Object.Exponential'
110.88 s[haskerwaul] Warning: Haskerwaul.Topos.Elementary: Class is exported separately but will be documented under ElementaryTopos. Consider exporting it together with its parent(s) for code clarity.
110.88 s[haskerwaul] 75% ( 3 / 4) in 'Haskerwaul.Topos.Elementary'