module Effect: Effect效果（Effects）。
請參閱手冊中的「語言擴充/Effect 處理器」章節。
type _ t = ..
效果（effects）的類型。
exception Unhandled :'a t->exn
Unhandled e 當執行效果 e 且沒有處理器時會被拋出。
exception Continuation_already_resumed
當續體（continuation）被繼續或中斷多次時會拋出的例外。
val perform : 'a t -> 'aperform e 執行效果 e。
e 的處理器，則拋出 Unhandled 例外。module Deep:sig..end
module Shallow:sig..end