module CheckedLiterals.Unchecked (uncheckedLiteral) where -- | Identity function used to opt a single literal out of checking. uncheckedLiteral :: a -> a uncheckedLiteral :: forall a. a -> a uncheckedLiteral = a -> a forall a. a -> a id