Another criticism would be the time spent to compile those abstractions, even if in fine the "zero cost" goal _at runtime_ is reached.