caasih_ 筆記 #SMT #stream-monad