Basically, I am annoyed by having to write type Foo[T] = struct[T] ... Similar to how I'm annoyed at having to write impl<T> Foo<T> for Bar in Rust. Occasionally it's inevitable but like 95% of the time it can be inferred.
See #21 for the alternative.