Types: Direction -> Orientation