Report question

Question: Implicit parameter resolution for higher kinded types