infix-type-constructors.md

@@ -56,14 +56,6 @@ And `type` gets an extra production:
 (modulo [FixityResolution](fixity-resolution)).  Also, there are obvious changes to the grammar for `type`, `data`, and `newtype` declarations.
 
 
-
-Some people use  constructors (think of the type a+b).  Mirroring this in Haskell would make the transcription more elegantly direct.
-
-
-
-I can't think of any down-sides, except the slight loss of consistency ("the hobgoblin of tiny minds").
-
-
 ## Observations