10 lines
103 B
Text
10 lines
103 B
Text
|
|
|
|
|
|
applyId : (forall a. a -> a) -> a -> a
|
|
applyId f x = f x
|
|
|
|
id : a -> a
|
|
id x = x
|
|
|
|
main = applyId id 4
|