These functions look like they need to return `Gen something`.