Notes (TLPH 03/15): Variance

Exercise 3 (i)

see 03/Functors.hs

Also implemented are Contravariant and Invariant instances.