cos package:rebase

A Profunctor p is a Cosieve on f if it is a subprofunctor of Costar f. That is to say it is a subset of Hom(f-,=) closed under lmap and rmap. Alternately, you can view it as a cosieve in the comma category f/Hask.
Lift a Functor into a Profunctor (backwards). Costar has a polymorphic kind since 5.6.
Analogous to ArrowLoop, loop = unfirst
Get the number of picoseconds in a DiffTime.
Create a DiffTime from a number of picoseconds.