Related tangent, in hopes it might be helpful to others:
my mneumonic for distinguishing "inductive" vs "deductive" is "PIG":
Particular -> Inductive -> General
See also "infer" vs "deduce".
my mneumonic for distinguishing "inductive" vs "deductive" is "PIG":
Particular -> Inductive -> General
See also "infer" vs "deduce".
http://mightybyte.github.io/monad-challenges/
The idea was to guide people through various important particulars of monads. It still needs some work, but I think the basic approach is promising.