Map, Skeleton, Lambda term.