Cache.State

data Cache k v

type SCacheT k v n

type SCache k v

class IsSCacheT m k n