型推論だけじゃなくてevalまで実装しちゃって実行できるようにすると、楽しいかもしれないと思った。