(really a lot of these data structures should be eagerly evaluated into
normal form, i suspect there's still a lot to be gained)