addMaxDepth :: MaxDepth -> Int -> MaxDepth
addMaxDepth NoMaxDepth   _ = NoMaxDepth
addMaxDepth :: MaxDepth -> Int -> MaxDepth
addMaxDepth NoMaxDepth   _ = NoMaxDepth
addMaxDepth NoMaxDepth   _ = NoMaxDepth