A L Manning

One example would be to express a relation of something to another type; ``` type private Related' = R of 'a type Related = Related' ``` All of the functions...

Another use of types of this form is to express [OCaml-style phantom types](http://camltastic.blogspot.co.il/2008/05/phantom-types.html).

One of my coworkers has a version of F# Compiler Services that gives warnings rather than errors for this, here https://github.com/zenprotocol/FSharp.Compiler.Service/commit/1201088355c9cc58ff244fcdc8bc98477d0df230

Thanks for your response! I think it's ok if `typeof` is unused, but I can see why this behaviour would be an issue. For F* interop with F#, this is...

@dsyme What do you think is the right solution then? If this is added to F#, users might have surprising issues when making use of type passing. If this is...

@ChechyLevas My bad, I seem to have let this slip - I'll make a branch that uses the `Erased` attribute ASAP

https://hackmd.io/gTI1jULvQwCYGE0qoUEDeQ

Still broken for 4.15

On the topic of z3, would that just require calling z3 with memory_max_alloc_count and rlimit flags, or is there something more elaborate needed?

Thank you for taking the time to review and respond to this PR. >Multi-threading operations can happen at any time. >So in between the time that the choice_to_read returns the...