+ Type annotations for Applicative Operators.
Samples moved into a folder.