Finally fixing function extensions and also fixing the uncurrying of the value.