The Strange Case of Dr. Function and Mr. Type (Function/Type Equivalence) | Dark Hacker News