tests inspired by gradual typing papers