{-# LANGUAGE Rank2Types #-}

module Data.TrieMap.Regular.Sized where

import Data.TrieMap.Regular.Base
import Data.TrieMap.Sized

sizeK0 :: Sized (K0 a b)
sizeK0 _ = 1