Tested GeneralizedNewtypeDeriving