liquidhaskell-0.8.10.7: liquid-base/src/Data/List.hs

module Data.List ( module Exports) where

import Data.Char
import "base" Data.List as Exports