minigent/examples/1_poly/03-drop/expected.out

badTest : [x] . x -> Unit;
drop : [x] Drop x. x -> Unit;
drop x = Unit : Unit;
test : Bool -> Unit;
test x = (drop[Bool] : Bool -> Unit) (x : Bool) : Unit;