<div dir="ltr"><a href="https://discourse.haskell.org/t/choosing-data-representation-based-on-type/5970/4?u=antc2">https://discourse.haskell.org/t/choosing-data-representation-based-on-type/5970/4?u=antc2</a><br><div><br></div><div>A `DatatypeContext` on a `newtype instance` gets the usual warning it's deprecated. But the decl is accepted -- at GHC 8.10. (It doesn't achieve what the O.P. was asking for -- but then I wouldn't expect it to.)</div><div><br></div><div>Is this behaviour deliberate, or more of an accident? I'm surprised such a modern feature (datatype families) tolerates such an old/deprecated feature.</div><div><br></div><div>I suppose this means the two features are orthogonal -- which is kinda a Good Thing (wrt some continuing discussions).</div><div><br></div><div>AntC</div></div>