Comment by Ericson2314

sum types and non-nullability are not complex.