------------------------------------------------------------------------
-- Modules that are not safe because they use --sized-types
------------------------------------------------------------------------

{-# OPTIONS --cubical-compatible --sized-types #-}

module README.Unsafe.Sized-types where

-- Support for sized types.

import Prelude.Size

-- Some results that could not be placed in Function-universe because
-- they make use of --sized-types.

import Function-universe.Size

-- Conatural numbers.

import Conat

-- Colists.

import Colist

-- M-types.

import M