Стрелки и парсеры

Слушайте, а эти ваши стрелки, это же еще более позитивный майндфак, чем монады. Голову, во всяком случае, вырывают намного быстрее.

Так вот, насчет парсеров - возможна ли такая шиза: написать парсер на парсеке, а потом подсунуть ему какую-нибудь другую монаду, чтобы он вместо парсера сделал AST этого самого парсера, из которого можно было бы сгенерить код на другом языке?

LINQ майндфак

      int[] tmp = new int[]{5,7,13};
      var test = from c in "ab"
                 from i in tmp
                 select new { a=c,b=i };
      var t1 = test.Aggregate(0,(aсс,x) => aсс+x.a);
      Console.WriteLine(t1);

результат: 585

Вот что бывает из-за неявных преобразований типов.