That is what concepts fix. It lets you enforce at build time that `t` does have member `.bar()`.