Comment by cjj_swe

Square brackets do not indicate "this is a type". Instead they indicate "these things were deduced from their context"