before monkeying around trying to bulletproof against agda bugs