Dive into Algebraic Effects