Data.Yoko.HCompos

type family Idiom cnv :: * -> *

class Convert0 cnv a b

class HCompos0 cnv a t

data FoundDC k l

type family WithMessage dcA b dcB :: FoundDC k l

type family FindDCs s dcBs :: Maybe (* -> * -> *)

data ResultsInIncompatibleFields dcA dcB

class MapRs0 cnv msg dc dc' prod prod'