Merge pull request #62 from liyishuai/assoc

Make <$> and <*> left associative

Author: gmalecha

theories/Structures/Applicative.v

@@ -13,7 +13,7 @@ Polymorphic Class Applicative@{d c} (T : Type@{d} -> Type@{c}) :=
 }.
 
 Module ApplicativeNotation.
-  Notation "f <*> x" := (ap f x) (at level 51, right associativity).
+  Notation "f <*> x" := (ap f x) (at level 51, left associativity).
 End ApplicativeNotation.
 Import ApplicativeNotation.
 

theories/Structures/Functor.v

@@ -26,5 +26,5 @@ Polymorphic Definition PFunctor_From_Functor@{d c p}
 Global Existing Instance PFunctor_From_Functor.
 
 Module FunctorNotation.
-  Notation "f <$> x" := (@pfmap _ _ _ _ _ f x) (at level 51, right associativity).
+  Notation "f <$> x" := (@pfmap _ _ _ _ _ f x) (at level 51, left associativity).
 End FunctorNotation.