module T10668 where

import Data.Type.Equality(Refl)