Re: data vs. newtype, abstractly