fork download
  1. k :: a -> b -> a
  2. k x y = x
  3.  
  4. s :: (a -> b -> c) -> (a -> b) -> a -> c
  5. s f g x = f x (g x)
  6.  
  7. i :: a -> a
  8. i = s k k
  9.  
  10. main = pure ()
Success #stdin #stdout 0s 4176KB
stdin
Standard input is empty
stdout
Standard output is empty