इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें ध्यान दें कि इसलिए एक मोनाड एक श्रेणी से अपने आप में एक फंक्टर है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "ध्यान दें कि इसलिए एक मोनाड एक श्रेणी से अपने आप में एक फंक्टर है; और यदि '' एफ 'और' जी 'वास्तव में फंक्टर के रूप में व्युत्क्रम थे तो संबंधित मोनाड पहचान फंक्टर होगा। "