{-# LANGUAGE NoImplicitPrelude #-}

module Prelude.List (
    module Prelude.List.Partial,
    module Prelude.List.Total,
  ) where

import Prelude.List.Partial
import Prelude.List.Total