move stream/ outta agda/