Slide 1Unifying Kind and Type Inference Remko van Beusekom & Jeroen Gordijn Slide 2 Overview Type inferencing Kind inferencing Example Similarities kind and type inferencing…