实现 Trim<T>,它接受一个明确的字符串类型,并返回一个新字符串,其中两端的空白符都已被删除

例如:

type trimed = Trim<'  Hello World  '> // expected to be 'Hello World'