Lifted subrel to a datatype