More parametricity.. well, a leeeedle bit more.