He is suggesting that the lack of effort focusing on the concept is making it seem unrealistic.
He claims it may seem unrealistic only because little effort has been devoted to the concept.
the expression graph contains no redexes, is finite and is acyclic. data constructors are not reducible, so although they look like functions there is no reduction rule