Complete implementation of List/Map composers; now works