Apa itu monad gratis?

Saya telah melihat istilah Free Monad muncul setiap sekarang dan kemudian untuk beberapa waktu, tetapi semua orang sepertinya menggunakan / mendiskusikannya tanpa memberikan penjelasan tentang apa itu mereka. Jadi: apa itu monad gratis? (Saya akan mengatakan saya akrab dengan monad dan dasar-dasar...