[Hs-Generics] Call for Lightning Talks / Challenges, Workshop on Generic Programming 2012