TcEvidence
data HsWrapper
data TcEvBinds
data EvBindsVar
data EvBindMap
data EvBind
data EvTerm
data EvLit
data EvCallStack
data EvTypeable
type TcCoercion
type TcCoercionR
type TcCoercionN
type TcCoercionP
data CoercionHole
data Role
data LeftOrRight