let unary_of_string_concat = function x -> (function z -> x ^ z)