A functional android task manager.