slightly simplified pet store desugarings