type-natural-1.0.0.0: src/Data/Type/Natural/Utils.hs

{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeApplications #-}

module Data.Type.Natural.Utils where

import Data.Type.Equality (type (:~:) (..))
import Unsafe.Coerce (unsafeCoerce)

trustMe :: x :~: y
trustMe = unsafeCoerce (Refl @())