1. mondat: Például a következő két definíció biztonságos egy egyenértékű osztás értékek talán - monád. 2. mondat: Például a Maybe monád értékek egyenértékű osztásának mindkét definíciója biztonságos. Kérdés: Az első és a második mondat ugyanazt jelenti? - Igen vagy nem?
- Igen, igen.