You can do it, or explain it but you can't do both: proof see above

		ggm on Dec 7, 2019 \| parent \| context \| favorite \| on: Monads aren't as hard as you think You can do it, or explain it but you can't do both: proof see above