few functional types examples