These slides demonstrate how to wield types in a middleweight arena.
Somewhere between being given basic speiel on types and arguing about profunctor lenses on twitter - there is a gap where you just want to get things done.
This talk will help you dance in your type-safe shoes.