Midway through adding forall to effects.