[ List ] type

☞ x ≔ List new.
✎ write: x type, stop.
List