Monoidal function explained