[Just, Nothing, Left, Right added to default ctors
martin.hofmann@uni-bamberg.de**20090611035911] hunk ./src/Context/SynthesisContext.hs 102
+    ,('Just, (AppT 
+              (AppT ArrowT (mkVarT "a")) 
+              (AppT (ConT ''Maybe) (mkVarT "a"))))
+    ,('Nothing,  (AppT (ConT ''Maybe) (mkVarT "a")))
+    ,('Left, (AppT 
+              (AppT ArrowT (mkVarT "a"))
+              (AppT 
+               (AppT (ConT ''Either) (mkVarT "a")) 
+               (mkVarT "b"))))
+    ,('Right, (AppT 
+               (AppT ArrowT (mkVarT "b"))
+               (AppT 
+                (AppT (ConT ''Either) (mkVarT "a")) 
+                (mkVarT "b"))))