(higherKinds and existentials being here for my happiness, through I'm surprised I'm the only one who had to use existentials at this point)