strict check for output type