Functional signature type