Haskell-book/06/src/Ex.purs


1
2
3
4
5
6
7
8
9

module Ex where

import Prelude

--
-- Type-Kwon-Do Two: Electric Typealoo
--
chk :: forall a b. Eq b => (a -> b) -> a -> b -> Boolean
chk f a b = (f a) == b