Types experiments