the only way to raise above the stereotropic is to prove they are types