Species as implicit; fixing up GA demo worksheeet using shapeless Generic