result-type

nothing but a Result type