@hackage id0.0.6

Id (f a) and BiId (p (s a) (t b)) data types

Id (f a) and BiId (p (s a) (t b)) data types, with optics and functions for switching the type constructors