pub fn expectable<S, A>(state: S, aux: A) -> Expectable<S, A>