sig type t = Catch | Filter end