# simple test case to check type inference of polymorphic functions

myid = \x -> x;

f = (myid 'a', myid True);