Main.hs

{-# LANGUAGE GADTs #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE LinearTypes #-}
module Main where

data Ur a where
    Ur :: a -> Ur a

data A
data B
data C
data R

data State b a = State (Ur b %1 -> (a, Ur b))

-- f :: (a %1 -> b) %1 -> a %1 -> b
-- f = _

return :: a %1 -> Maybe a
return = _

empty :: Maybe a
empty = _

map' :: (a %1 -> b) -> [a] %1 -> [b]
map' = _

-- t :: Ur a
-- t = _

-- map' :: (A %1 -> B) -> [A] %1 -> [B]
-- map' = _

-- m :: a
-- m = _

-- (>>=) :: Maybe A %1 -> (A %1 -> Maybe B) -> Maybe B
-- (>>=) = _

-- return :: A %1 -> State B A
-- return = _

-- (>>=) :: State B A %1 -> (A %1 -> Maybe B) -> Maybe B
-- (>>=) = _

-- runState :: State B A %1 -> (B -> (A, Ur B))
-- runState = _


-- fromMaybe :: A -> Maybe A %1 -> A
-- fromMaybe = _


-- bind :: State C A %1 -> (A %1 -> State C B) %1 -> State C B
-- bind = \ moon -> \ earth
--         -> case moon of
--              (State water)
--                -> State
--                     (\ fire
--                        -> case fire of
--                             (Ur air)
--                               -> case
--                                      earth (case water (Ur air) of (e, f) -> case f of (Ur g) -> e)
--                                  of
--                                    (State b) -> b (Ur air))


-- concat :: [[A]] %1 -> [A]
-- concat = _



main :: IO ()
main = print $ 1