let
data_of_a arr = coerce_arr arr ; data_of_a arr