ghc-9.0.2: The GHC API
Generate the Typeable bindings for a module. This is the only entry-point of this module and is invoked by the typechecker driver in tcRnSrcDecls.
Is a particular TyCon representable by Typeable?. These exclude type families and polytypes.