ประเภทของ fmap ใน Functor คือ: fmap :: Functor f => (a -> b) -> f a -> f b ดูเหมือนว่า ขั้นแรกให้ใช้ฟังก์ชัน (a -› b) กับพารามิเตอร์ของ f a เพื่อสร้างผลลัพธ์ประเภท b จากนั้นใช้ f กับมัน และผลลัพธ์คือ f b ใช้ Maybe a เช่น:...