module test

import StdEnv, StdMaybe

Start :: (Maybe Int, Maybe (Maybe Int))
Start = (id (dynamic 42), kid (dynamic (Just 42)))

id :: Dynamic -> Maybe m | TC m
id (m :: m^) = Just m
id _ = Nothing

kid :: Dynamic -> Maybe (m a) | TC (m a)
kid (m :: (m a)^)) = Just m
kid _ = Nothing