Simplifying type system.