Inspired by this question:
Is explicit type recursion possible in F#?
type 'a Mu = In of 'a Mu 'a
let unIn (In x) = x
This code unfortunatly gives "Type parameter cannot be used as type constructor.
Remarks: This construct is used in the paper Functional Programming with Overloading and Higher-Order Polymorphism, for example.
Example of usage (taken from here):
type ('a, 'b) ListX =
| Nil
| Cons of 'a * 'b
type 'a List = ListX Mu