Sau khi đọc (và lướt qua một số phần của) bài báo của Wadler về monads, tôi quyết định làm việc qua giấy chặt chẽ hơn, xác định functor và các trường hợp ứng dụng cho từng monads ông mô tả. Sử dụng lo
Trong khi sử dụng functors applicative trong Haskell Tôi thường chạy vào tình huống nơi tôi kết thúc với mã lặp đi lặp lại như thế này: instance Arbitrary MyType where
arbitrary = MyType <$> arbi