Add function literal checking
Add example