Type-level tests; fixed Error.of error