thoughts abouot infinite types