infix-type-constructors.md

@@ -54,3 +54,22 @@ And `type` gets an extra production:
 ## Cons
 
 
+## Observations
+
+
+- Note that classes can be infix too; this is useful.
+- Need to have a way to set the fixity of a type constructor `T` differently than the data constructor `T` (or not?).
+- Need to allow infix notation in contexts
+
+  ```wiki
+  f :: (a :>: b) => bla blah
+  ```
+- Watch out for code like this ([ http://hackage.haskell.org/trac/ghc/ticket/1727](http://hackage.haskell.org/trac/ghc/ticket/1727))
+
+  ```wiki
+   infixr 5 `Foo`
+   infixr 6 `Bar`
+
+   data a `Foo` b = a `FOO` a `Bar` b
+   data a `Bar` b = a `BAR` b
+  ```
\ No newline at end of file