A lightweight library of abstractions for Higher-kinded programming in F#