/yowconference.com.au/slides/yowlambdajam2018/Kerckhove-SignatureInferenceForFunctionalPropertyDiscovery.pdf