Categories, Functors, Applicatives