I like how Conor McBride put it: > I usually take the presence of any proofs in my code as the cue to question my definitions. http://stackoverflow.com/a/1324

I like how Conor McBride put it: > I usually take the presence of any proofs in my code as the cue to question my definitions. http://stackoverflow.com/a/13241158/46571 http://stackoverflow.com/a/13241158/46571