effectful subtyping