a simple example where subtyping hangs