Idea: A strongly-typed relational database with complex types (generics, enums, constraints, etc. etc.) and functional+reactive triggers/callbacks.