Experiment with F#, type holes, and type-directed search using F# Analyzers - View it on GitHub