Hi Ian

Thank you for the positive comments! Will have a look at the Kleisli example - thanks for spotting the issue. Because the call to fix simply performs a downcast it might be a copy and paste error on my part, or (as you say) no longer necessary thanks to an update...