Title: Types for the blind