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