shortform of partial function