Another spec around types.