Module rarrow::plug

Traits

Plug	Plug replaces the type F to F.
Plug2	Plug2 replaces the type F<C, D> to F<A, B>.
Unplug	Unplug destructures F into F and A.
Unplug2	Unplug2 destructures F<A, B> into F, A, and B.