Functions to convert from church-encoded values to JS