{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE MultiParamTypeClasses #-}
module Data.Fresh
    ( Fresh (..)
    ) where

class Fresh v m where
    -- TODO Laws.
    fresh :: m v