The Lemmy->Kbin conversion has inserted a lot of <span> elements into your code making it unreadable. For people reading this from the Kbin side, here's the code:
{-# language GADTs #-}
{-# language RankNTypes #-}
import Data.Functor.Const
-- The GADT
data AGADT a where
I :: [Integer] -> AGADT Integer
S :: String -> AGADT String
type Scott_GADT a = forall fr. ([Integer] -> fr Integer) -> (String -> fr String) -> fr a
f :: AGADT a -> String
f (I x) = show x
f (S x) = x
f' :: Scott_GADT a -> String
f' x = getConst $ x (Const . show) Const
-- The Existential
data AnyGADT = forall a. MkAnyGADT (AGADT a)
type Scott_Any =
forall r.
(forall a. (forall fr. ([Integer] -> fr Integer) -> (String -> fr String) -> fr a) -> r) ->
r
g :: String -> AnyGADT
g "foo" = MkAnyGADT (I [42])
g "bar" = MkAnyGADT (I [69])
g x = MkAnyGADT (S x)
g' :: String -> Scott_Any
g' "foo" x = x (\i _s -> i [42])
g' "bar" x = x (\i _s -> i [69])
g' s x = x (\_i s' -> s' s)
main = interact (unlines . fmap x . lines)
where
x s = case g s of { MkAnyGADT x -> f x }
y s = g' s f'