Ben continuations üzerinde gidiyorum ve yapılandırma devam türleri için iki farklı yaklaşımlar rastlamak ettik: Ben ikinci yaklaşım gelmez anlıyoruz type C r a = (a -> r) -> r
exampleFunction :: Str
: data Foo p a b = Bar a b
bir tür eş anlamlısı yazmak için herhangi kesmek yolu var Baz a b bazı p için Foo p a b edilir Baz şekilde mi ben unuttun mu? type Baz a b = Foo p a b
ve (uygun uzantılı