tring
prints (Arrow a b) = '(' : prints a++ "->" ++ prints b ++ ")"
prints x = prns x

prints :: Sort -> String
prints (Arrow a b) = '(' : prints a++ "->" ++ prints b ++ ")"
prints (Arrow a b) = '(' : prints a++ "->" ++ prints b ++ ")"