sdfsdf.idr

module Main

Semigroup b => Semigroup (a -> b) where
  f <+> g = \x => f x <+> g x

Monoid b => Monoid (a -> b) where
  neutral = const neutral

[all] Semigroup Bool where
  x <+> y  = x && y

[allm] Monoid Bool using Main.all where
  neutral = True

alphaNum : Char -> Bool
--alphaNum = (isDigit <+> isAlpha <+> neutral) @{let _ = allm in %search}
alphaNum = let _ = allm in (isDigit <+> isAlpha <+> neutral)