Subtyping for fixpoints. This is probably not fully general, but I don't see anything else which is easy to state.