Write shrinking functions in less verbose style