An attempt to implement the typing rules of Featherweight (Generic) Java using Haskell.