Maybe adding a type-checking step would make the experience more stable. cc @Alex Gleason