(~>) = forall