Several bug fixed. Functor instances for Applicative removed for testing purposes