λ.group implementation and spec