type Path = [Direction] data Direction = L | R | Dno Int instance Eq Direction instance Ord Direction instance Read Direction instance Show Direction here :: Path turn :: Direction -> Path -> Path path :: Path -> (Direction, Path)
