The maxBound works ! The only think I can see improving now are the mutation functions and the box splitting heuristics.