Inductive Square Type