-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | provides a typeclass that is always satisfied
--   
--   provides a typeclass that is always satisfied. See documentation for
--   more details.
@package always
@version 0.1

module Always

-- | A typeclass that is satisfied for all types.
--   
--   This is useful when you want to discriminate on the result of applying
--   a type family whose result kind is <a>Constraint</a>, where the result
--   is either meaningful (i.e. not <a>Always</a>) or it is not.
class Always a
instance Always.Always a