Introducing Type Guard to Steep

Type Checking