Title: Designing With Type a Basic Course In T