Start passing structured events through to Idris