ตู้คอนเทนเนอร์ขนาดคงที่ทั้งหมดนั้นเป็นฟังก์ชั่นโมโนเรดที่แข็งแกร่งหรือไม่
Applicativetypeclass หมายถึงหละหลวม monoidal functors ที่รักษาโครงสร้าง monoidal คาร์ทีเซียนในหมวดหมู่ของฟังก์ชั่นพิมพ์ กล่าวอีกนัยหนึ่งได้รับ isomorphisms บัญญัติซึ่ง(,)เป็นรูปแบบโครงสร้าง monoidal: -- Implementations left to the motivated reader assoc_fwd :: ((a, b), c) -> (a, (b, c)) assoc_bwd :: (a, (b, c)) -> ((a, b), c) lunit_fwd :: ((), a) -> a lunit_bwd :: a -> ((), a) runit_fwd :: …