Product package:rank2classes

Lifted product of functors.