`Wrap`
a type without what?