looking at type projection. that one will not be easily solvable...