module Data.List.Higher
    (module Data.List
    ,list)
    where

import Data.List
import Data.Bool.Higher

list :: b -> ([a] -> b) -> [a] -> b
list nil cons = bool cons (const nil) null