newtype declarations
newtype tests