Yes, because "typed programs can't go wrong" is not really a promise, but a desp...

		seanmcdirmid on Oct 27, 2014 \| parent \| context \| favorite \| on: Visualising an Asynchronous Monad Yes, because "typed programs can't go wrong" is not really a promise, but a desperate wish.