úÎ!a(C) 2008-2015 Edward Kmett BSD-style (see the file LICENSE)Edward Kmett <ekmett@gmail.com> provisionalportableUnsafeÿvoidIf  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.voidIf  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.3-3RYOrpJEx0UYkI9Ikv0XIData.Void.Unsafe unsafeVacuousunsafeVacuousMbase Data.VoidVoidGHC.BaseFunctorMonad