Treat the (~) type constructor a bit specially