Parameters and binding forms should be mutually recursive