Implement functional checks to convert back to concrete types.