As a "never touched any functional language but always hear about how monads are extremely complex", I feel enlighted.