debug a [] -> ()