Sciss/LucreSTM — Issue #3: Existential type for `Declr -> declare`
Author: Sciss
Created: 2012-01-16 10:53:34+00:00
State: open
Labels: Thinking

one suggestion to realising `fun: (Impl[ S ] => Event[ S, A ]) forAny { type S }`:

http://existentialtype.net/2008/03/09/higher-rank-impredicative-polymorphism-in-scala/