baskell-0.1: examples/Simple.bs

# simple test case to check type inference of polymorphic functions

myid = \x -> x;

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