type SillyError = object of Exception