aKnightsQuest: Type Definitions
aKnightsQuest: moveKnight using lists as Monads
aKnightsQuest: moveKnight' using filter
aKnightsQuest: in3 using 'do notation'
aKnightsQuest: in3' using '>>='
aKnightsQuest: canReachIn3