TcFlatten

data FlattenEnv

data FlattenMode

mkFlattenEnv

flatten

flattenMany

flatten_many

flattenFamApp

flattenTyVarOuter

unflatten

eqCanRewrite

eqCanRewriteFR

canRewriteOrSame

type CtFlavourRole

ctEvFlavourRole

ctFlavourRole