The top documents tagged [inductive type thickness]