Subtype coercion with first-class modules...

Include module signature and value of this module type in a function signature...

Passing a variable from class module to userform...

How to create a set of elements without knowing the type of the element?...

How to return the instance of first-class module's nested type from a function?...

Unpacking a first-class module constrained by a type variable...

The signature for this packaged module couldn't be inferred in recursive function...

The type constructor "..." would escape its scope when using first class modules...