{-# LANGUAGE NoImplicitPrelude #-} module Prelude.List ( module Prelude.List.Partial, module Prelude.List.Total, ) where import Prelude.List.Partial import Prelude.List.Total