Lazyness - monoidal functors (TODO lazyPhi)
lazyProduct thing