@avolkmann Don’t see how this could affect the performance if you have no value of that type. The use is a bit suspect though, but this practice has been used with some interesting applications under the name “Phantom Type” in Haskell
https://wiki.haskell.org/Phantom_type