は私が継続上つもりだと私は構造化継続タイプに2つの異なるアプローチに遭遇しました：私は後者のアプローチはdoesnのことを理解し type C r a = (a -> r) -> r
exampleFunction :: String -> C Bool String
exampleFunction s = \t -> if length s > 10 then t s else False
私は短い同義語で型名を付けました。 私は（関係ない）何とかそのこの新しい短い名前を経由して、このタイプを使用しようと次の行に： using A = SomeTypeName;
using B = A;
しかし、2行目では、コンパイラは「」&はエラーを生成名前が表示されません。 （タイトルを参照）。 なぜですか？
私はモナド変換器UlffTを次のように定義しました。 私はHalogenで働いているが、これはHalogen -questionではありません - 私はちょうどコンテキストを提供しています。 UlffTは、Affに積み重ねられ、HalogenMで使用されます。 newtype UlffT m a = UlffT (ExceptT Error (ReaderT Env m) a)
unUlffT