Higher Kinded Types in Lower Kinded Languages