t-algebra
T-Algebra (for Monad)
Merge branch 'monad'