TcFlatten
data FlattenEnv
data FlattenMode
mkFlattenEnv
flatten
flattenMany
flatten_many
flattenFamApp
flattenTyVarOuter
unflatten
eqCanRewrite
eqCanRewriteFR
canRewriteOrSame
type CtFlavourRole
ctEvFlavourRole
ctFlavourRole