Added strictness annotations to ConnHost