- | Default implementation of 'MkSubEnv'
mkSubEnvDefault :: MkSubEnv dom
mkSubEnvDefault = MkSubEnv $ \_ _ _ -> Nothing

mkSubEnvDefault :: MkSubEnv dom
mkSubEnvDefault = MkSubEnv $ \_ _ _ -> Nothing
mkSubEnvDefault = MkSubEnv $ \_ _ _ -> Nothing