module Data.HKey( HKey , withKey , T , createKey , unique -- * Key Monad , KeyM , KeyT , Key , runKey , newKey , getKey , keyTSplit , runKeyT) where import Data.HKeyPrivate