感覺上適合練 SMT 或 stream-monad