Typos: dependent, In stead
Typo, Fuctor -> Functor
Fix type for (>>=)