isCompleteTo d (T l _ r) = isCompleteTo d' l && isCompleteTo d' r
    where
      d' = d - 1
isCompleteTo d (T l _ r) = isCompleteTo d' l && isCompleteTo d' r
    where
      d' = d - 1
isCompleteTo d (T l _ r) = isCompleteTo d' l && isCompleteTo d' r
    where
      d' = d - 1