#lang racket
;; Starter code for A1Q1
;; May contain Unicode characters - download, don't cut/paste from browser
;; You must replace the ? with correct proof terms.

(define answer1 '(? : ((A -> B -> C) -> (A -> B) -> (A -> C))))

(define answer2 '(? : (((A -> B) -> (A -> C)) -> (A -> B -> C))))

(define answer3 '(? : ((B -> C) -> (A -> B) -> (A -> C))))

(define answer4 '(? : ((A -> B -> C) -> (A -> B)-> A -> C)))