Небольшой формально доказуемый DSL по конструкции к => bpf было бы здорово.
54