Remove 'void' since it's in Prelude now