// The empty list [] usually has polymorphic type forall a.[a], but you
// cannot give the variable l this type. See below what can go wrong.
// The empty list [] usually has polymorphic type forall a.[a], but you
// cannot give the variable l this type. See below what can go wrong.