let i_bool    = fun (_ : bool) -> ()