module Data.Hole ( module Data.Hole.Strict ) where import Data.Hole.Strict