Higher A lightweight library of abstractions for Higher-kinded programming in F#, based on Lightweight Higher-Kinded Polymorphism Jeremy Yallop and Leo White Functional and Logic Programming 2014 OCaml implementation Build Status Mono .NET