alice's got a ThenFunc