GHCi tags generation: the end