Linear Least Recently Used (LRU) Cache Internals
data LRUCache1 : Type -> Type -> Type -> Type
Linear Least Recently Used (LRU) Cache based on hashing.
MkLRUCache1 : Ref s (LRUCache k v) -> LRUCache1 s k v