۲۵ - ۱۲موندها جابجا نمیشن

به خاطر داشته باشین که در کل موندها جابجا نمیشن، و به ازای هر ترکیبی از تایپ‌ها نتیجه‌ی معقولی بدست نمیاد. ابزاری که برای ساخت و استفاده از موند ترانسفورمرها داریم مفیداند، اما جوازِ فکر نکردن نیستن!

تمرین فرضی

دو تایپِ ‏‎ReaderT r Maybe‎‏ و ‏‎MaybeT (Reader r)‎‏ رو فرض کنین – آیا معادلِ همدیگه‌اند؟ هردوشون یک کار انجام میدن؟ برای هرکدوم کُدهای مشابه همدیگه بنویسین و ثابت کنین که معادلِ هم هستن یا نه.