Toy implementation of System F omega