Data.HList.GhcRecord
data ProxyFound x
class HasNoProxies l
class NarrowM a b res
class NarrowM' rin rout b res
class NarrowM'' f r r'
class Narrow a b
class LubNarrow a b c
data NilLub
class ConsLub h t l
class HLub l e
class RecordEquiv r1 r2 res
class RecordEquiv' pj1 pj2 res