A failable datatype