.+ : Int -> Int -> Int
.+ x y = 0

const : a -> b -> a
const x y = x

applyapplyapplyId : (forall c. c -> (forall b. (forall a. a -> a) -> b -> b) -> c) -> d -> d
applyapplyapplyId f x = f x applyId 

applyapplyId : c -> (forall b. (forall a. a -> a) -> b -> b) -> c
applyapplyId x f = f id x

applyId : (forall a. a -> a) -> b -> b
applyId f x = f x

id : a -> a
id x = x

main = applyapplyapplyId applyapplyId 50 + const 100 (applyapplyapplyId applyapplyId 'G')