Harmless Types

A Prologue