[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc023.hs

module ShouldSucceed where

main  = s k k 

s f g x = f x (g x)

k x y = x