instance MonadCatch m => MonadCatch (ContT r m) where catch m f = ContT $ \k -> catch (runContT m k) (flip runContT k . f)
startApp は UserAPI1 型に依存するはずですが、`myStartApp` にはこの型の変数を引数に取ることがないので、代わりに型変数 apiType を取るようにするためにforallを使ってみたのですが、Illegal symbol forall in typeIntSet みたいな~trie木~Patricia木を車輪の再開発しなければならなくなったのですが、型の御加護を受けつつ余計なreference indirectionを避けるために
data Patricia (inhabited :: Bool) :: Type where
Branch :: {-# UNPACK #-} !Word -> !(Patricia True) -> !(Patricia True) -> Patricia True
Tip :: {-# UNPACK #-} !Word -> Patricia True
Nil :: Patricia False
newtype Patricia' = forall b. Patricia' (Patricia b)Nil は Branch にも Tip にも持たれないので、空の Patricia を表現するときだけに使われると思っていいですよね。もしそうなら、`Patricia` が必ず1つ以上の要素をもつ (`Semigroup` みたいに) としてしまえば Nil がなくなって inhabited を区別しなくてよくなり、existential type もいらなくなると思ったのですが、そういうのってありなんでしょうか。empty がなくなると不便ですかね。