Amazing type system