Don't generate instances with -dno-typeable-binds
-dno-typeable-binds
is a debugging flag that disables generation of bindings for Typeable
instances. Usually they just clutter the Core output. If you try to use a Typeable instance in this case, GHC will panic.
I think it would be better if -dno-typeable-binds
disabled derivation of Typeable instances instead (in the compiled module). Then attempting to use the instance will be a normal missing instance error. Some time ago we had a flag -XAutoDeriveTypeable
.