Undo unnecessary bangs in exception types
Add strictness to get better coverage for error handling
Use asks instead of record wildcards