liftedOr3.hs

import Data.Semigroup
import Data.List.NonEmpty

isA :: a -> Bool
isA = undefined

isB :: a -> Bool
isB = undefined

isC :: a -> Bool
isC = undefined

newtype OrBool = OrBool Bool

toBool (OrBool a) = a 

instance Semigroup OrBool where
  (OrBool a) <> (OrBool b) = OrBool (a || b)

orr :: NonEmpty (a -> Bool) -> a -> Bool
orr = (fmap toBool) . ((orr' . ((fmap . fmap) OrBool)))

orr' :: NonEmpty (a -> OrBool) -> a -> OrBool
orr' = sconcat

f :: a -> Bool
f = orr $ isA :| [isB, isC]