Some functional pearls from time to time