Strongly-typed bound, part 1

Published --