added doc for how to hack higher kinded type mismatches