code: func Values(m interface{}) interface{} {
  	chk := ty.Check(
  		new(func(map[ty.A]ty.B) []ty.B),
  		m)
  	vm, tvals := chk.Args[0], chk.Returns[0]
  
  	vvals := reflect.MakeSlice(tvals, vm.Len(), vm.Len())
  	for i, vkey := range vm.MapKeys() {
  		vvals.Index(i).Set(vm.MapIndex(vkey))
  	}
  	return vvals.Interface()
  }
docs: // Values has a parametric type:
  //
  //	func Values(m map[A]B) []B
  //
  // Values returns a list of the values of `m` in an unspecified order.