data-fresh-0.2013.250: src/Data/Fresh.hs
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE MultiParamTypeClasses #-}
module Data.Fresh
( Fresh (..)
) where
class Fresh v m where
-- TODO Laws.
fresh :: m v
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE MultiParamTypeClasses #-}
module Data.Fresh
( Fresh (..)
) where
class Fresh v m where
-- TODO Laws.
fresh :: m v