let Direction = < Left | Right > in Direction