úÎEü(C) 2008-2015 Edward Kmett BSD-style (see the file LICENSE)Edward Kmett <ekmett@gmail.com> provisionalportableUnsafeIf  is uninhabited than any $ that holds only values of the type  is holding no values.\This is only safe for valid functors that do not perform GADT-like analysis on the argument.If  is uninhabited then any  that holds values of type  is holding no values.ZThis is only safe for valid monads that do not perform GADT-like analysis on the argument. !void-0.7.2-Gq1uNTFl2JaJr51CTc0tGbData.Void.Unsafe unsafeVacuousunsafeVacuousMbase Data.VoidVoidGHC.BaseFunctorMonad