-- | A well-typed variable in an empty context is impossible.
impossibleVar :: Elem '[] x -> a
impossibleVar _ = error "GHC's typechecker failed"
impossibleVar :: Elem '[] x -> a
impossibleVar _ = error "GHC's typechecker failed"
impossibleVar _ = error "GHC's typechecker failed"