type errors
key features
type safety
type safe stacks