[jhc] darcs patch: Check that lhs and rhs have compatible t... (and 1 more)