general lazy evaluation was too beautiful a dream for someone as uninterested in proper type analysis as I. Oh well...