module Agda.Utils.List1 where

import qualified Data.List.NonEmpty (NonEmpty)

type List1 = Data.List.NonEmpty.NonEmpty