> If there are bugs in the proof, you can give it to your students to patch up. If I'll ever have any, they aren't going to be CS students :) > Pair a ~ Bool -> a, so the monad instance for Reader should work here Okay, that makes sense. Sorry for the noise then. Best regards, Marcin Mrotek