catch-unknown

Utility functions for writing type-safe catch blocks