fix(library/init/control): camelCase conversion typos

library/init/control/applicative.lean

@@ -14,9 +14,9 @@ class HasPure (f : Type u → Type v) :=
 export HasPure (pure)
 
 class HasSeq (f : Type u → Type v) : Type (max (u+1) v) :=
-(Seq  : Π {α β : Type u}, f (α → β) → f α → f β)
+(seq  : Π {α β : Type u}, f (α → β) → f α → f β)
 
-infixl ` <*> `:60 := HasSeq.Seq
+infixl ` <*> `:60 := HasSeq.seq
 
 class HasSeqLeft (f : Type u → Type v) : Type (max (u+1) v) :=
 (seqLeft : Π {α β : Type u}, f α → f β → f α)

library/init/control/monad.lean

@@ -17,8 +17,8 @@ export HasBind (bind)
 infixl ` >>= `:55 := bind
 
 class Monad (m : Type u → Type v) extends Applicative m, HasBind m : Type (max (u+1) v) :=
-(map       := λ α β f x, x >>= pure ∘ f)
-(Seq       := λ α β f x, f >>= (<$> x))
+(map      := λ α β f x, x >>= pure ∘ f)
+(seq      := λ α β f x, f >>= (<$> x))
 (seqLeft  := λ α β x y, x >>= λ a, y >>= λ _, pure a)
 (seqRight := λ α β x y, x >>= λ _, y)