Although I liked the proposal (the `-> User | Exception` idiom is quite beautiful), that's a deal breaker.