Inductive and Coinductive Predicate Liftings for Effectful Programs