1 sakinys: Pavyzdžiui, šie du apibrėžimai yra saugūs lygiaverčiam suskirstymui vertybių " gal " - " monadoje ". 2 sakinys: Pavyzdžiui, abu toliau pateikti " Maybe " monados verčių saugiojo padalijimo apibrėžimai yra lygiaverčiai: Klausimas: Ar 1 ir 2 sakiniai reiškia tą pačią reikšmę? Taip ar ne?
Ne, ne