use do syntax to keep eta-abstraction but simply timeout