typed for a