Graph.Trace.Internal.RuntimeRep
type Lev (a :: TYPE rep) = DummyConstraint => a Source #
Allows for a levity polymorphic value to be used in an argument position. This trick was taken from Ed Kmett's unboxed library.
unboxed