Type-conditional sections