Recursive types are not conservative over FSub