module Safe.Length where

import Data.Proxy (Proxy(..))

safeLength :: (Foldable f) => Proxy (f a) -> f a -> Int
safeLength _ f = length f

list :: Proxy [a]
list = Proxy