Correct functional dependencies for `Wrapped`

Addresses #303.