- List.concat [[]];
stdIn:1.2-435.13 Warning: type vars not generalized because of
   value restriction are instantiated to dummy types (X1,X2,...)
val it = [] : ?.X1 list