OK, if I explain the let syntax with some examples before demonstrating with fst and snd, will that be OK? Actually it just checks the type of the result on th

OK, if I explain the let syntax with some examples before demonstrating with fst and snd, will that be OK? Actually it just checks the type of the result on that step! I'll do a syntactic check to make sure you have to type it out in that step. Thanks for the feedback, I'll fix this today!