What are functional types and how should we seek them? | NiceBooksReads