started asserting some documentation for Divisible contravariant functors