Added notes on 'Software Foundations', 'Applicatives'