sheaf authored May 25, 2022 and Marge Bot committed May 26, 2022

This patch adds several tests relating to the eta-expansion of
data constructors, including UnliftedNewtypes and DataTypeContexts.