module Utils.Maybe where cond :: Bool -> a -> Maybe a cond :: forall a. Bool -> a -> Maybe a cond Bool x a y = if Bool x then forall a. a -> Maybe a Just a y else forall a. Maybe a Nothing