System F prelude (WIP)