Data.Generics.Strafunski.StrategyLib.PathTheme
belowS
beloweqS
belowTP
beloweqTP
aboveS
aboveeqS
aboveTP
aboveeqTP