forall a. ((a-> a)-> a-> a) Version [2K] ExpBB newtype Exp neg~ = neg (neg (neg... (lit 1))) ExpBB Version hc: Version newtype FStream a = SFK (forall ans. SK a ans-> FK ans-> ans) type FK ans = ()-> ans--failure continuation type SK a ans = a-> FK ans-> ans--success continuation newtype MFStream m a = MSFK (forall ans. MSK m a ans-> MFK m ans-> m ans) type MFK m ans = m ans--failure continuation type MSK m a ans = a-> MFK m ans-> m ans--success continuation diverges. Version