However, regular types do: "The Derivative of a Regular Type is its Type of One-Hole Contexts"

[0] http://strictlypositive.org/diff.pdf