Can't get the Z combinator to not diverge