Well, that almost produces correct code.. the closurization of FTypes doesn't work though. Hmph