Concept definition

template< typename FROM, typename TO >
concept castable_to =
::std::is_convertible < FROM, TO >::value ||
::std::is_convertible < FROM, const TO >::value