jesus fucking christ, why don't the dependent types ever match up? will probably go to AuralWorkspace[S, I] then
como asi?