Test recursive newtype
Implement Refl in deriveNT