I think a better type signature for this might be something like ```concatenate(list(binary() | list())) -> binary().```  Thoughts?