Add cons function
Add getter to Fun data type