efn (\x, y => y)        -- Goodefn (\x, y => plus y y) -- Goodefn ignore              -- Goodefn (\x, y => x)        -- Badefn plus                -- Badefn lin                 -- Badefn (\x, y => plus x y) -- Badokfn plus               -- Goodokfn lin                -- Goodokfn ignore             -- Bad:q