{-# language FlexibleInstances #-} {-# language NoImplicitPrelude #-} module Always ( Always ) where -- | 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 'Data.Kind.Constraint', where the -- result is either meaningful (i.e. not 'Always') or it is not. class Always a where instance Always a