minigent/examples/1_poly/03-drop/in.minigent

drop : [x] Drop x. x -> Unit;
drop x = Unit;

test : Bool -> Unit;
test x = drop x;

badTest : [x]. x -> Unit;
badTest x = drop x;