liquidhaskell-0.8.10.7: liquid-base/src/Data/List/NonEmpty.hs
module Data.List.NonEmpty ( module Exports ) where import Data.List import "base" Data.List.NonEmpty as Exports
module Data.List.NonEmpty ( module Exports ) where import Data.List import "base" Data.List.NonEmpty as Exports