algorithm DrRacket Scheme parallel

This question is about type inference. The types of these literals are given: To infer the type of False: The answer is Bool. To infer the type of True: The answer is Bool. [10 marks] Following the type inference algorithm in this course, show the steps of inferring the polymorphic type for \c n -> c False (c True n)