Cezar Andrici

I updated the main post and added all definitions, thus there are no more assumptions in the PoC. Your previous test failed because previously I did not define the `subcomp`...

Saving here a workaround given by Guido: ``` let ref #a (x : io a) : irepr a (fun p -> forall res. p res) = (fun _ -> x)...

I have this bug too. I try to sign_in a user if it is logged in with CASino and it tries to edit its account,. ``` ruby class RegistrationsController <...

+1 Someone found a solution?

Duplicate of #2210.