Implementing the hard model processor with hard function (under EitherT).