1,769 followers
@fried_brice @pasiphae_goals Monads could be hard yet not worthless, but if they’re hard we shouldn’t lie about it or attack those who are frustrated by them. And if they’re hard for mathematicians, maybe they’re actually hard! Hoare agrees (already on pag