What are functional types and how should we seek them 论文