俺もリアルタイムで小学生の頃色々とベーシック言語の仕様で疑問に当時思っていた（疑似）乱数関数やI/O関数呼び出しのオープンクローズ等がモナドで一貫して説明定義されるというのは結構いいのではと思う。
タートルグラフィックのLogoとかは弄らなかったが馬鹿みたいに関数概念重視する遠山啓系の水道式やってたので十分可能な気がするなあ
少なくとも俺の小学生時代に俺が教えるならできるわ。