TcTypeable
mkTypeableBinds
mkModIdBindings