typed for