Idk apa itu monad dan ATP saya terlalu takut untuk bertanya