type Contains book field exp

type family Contains' book field orig exp :: Constraint where ...