Types.{Unbound, Bound}