You want to wrap the lhs/rhs in a coerce expression if it's not a RVC (instead of based on how many children it has)