Messing with types, lists, assignment and singletons