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.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information