All procedure is fully curried