Make NB in notebook into an Applicative instance
Make NB in notebook into an Applicative instance

This improves GHC 7.10 compatibility and eliminates warnings.

GaloisInc/ICryptol,ZenDevelopmentSystems/ICryptol