de Buijn indexはlambda抽象を明示しないと成り立たないし、Boostの_1とは別物だろ