unopStr (Convert ty1 ty2) = M.mconcat [typeStr ty1, "-to-",  typeStr ty2]
unopStr (Convert ty1 ty2) = M.mconcat [typeStr ty1, "-to-",  typeStr ty2]
unopStr (Convert ty1 ty2) = M.mconcat [typeStr ty1, "-to-",  typeStr ty2]