thoughtworks
com
typecheck
OptionFunctionToTypeableExtractor