Get types right, make it compile