Definitely Typed