[yakshaving_jgt]

That's awesome! Don't worry about writing about those typeclasses — we have plenty of that already. I'd much rather read about the thing you want to do with IHP. That sounds interesting!