An experiment at expressing functors in F# the .NET type system.