I’ve been gigging quite a bit lately, although mostly about cosmetic improvements to Haskell’s fake dependent types. I’ve just webbed up two sets of slides, for your amusement, bemusement, and seemusement. The first is Slicing It, a Haskellification of indexed containers, under new type class IFunctor. The second is Winging It, which has a more example-driven look at IFunctors, and then ponders what IMonads might be. Apologies to Sir Tony Hoare, William Shakespeare, and Peter Hancock.