Some work in progress code regardling type level lists