Arduino currently provides arm-none-eabi-gcc tool version 4.8.3 . This version is very old and is no longer distributed at arm.com . If the compiler were upgraded to at least version 6, then modern c++ tools like boost::hana could be used.