GHCi: -MR, +(.) working generalization.