Label the string as a functor and think about lifting the array into the string functor and doing string manipulation to change it to a dict, then lift it back into a dict type.
String manipulations of a lifted type in "string space" can be faster and more efficient then actually manipulating it in "type space"