Item

Type $forall WithType item itemType <- Set.toAscList list

#{item}

#{itemType}