InferCombinators: list
add benchmark of larger expression