This is odd. Either the context is silent or we catch the type errors. Both is most probably not necessary.