Env.Generic

class Record e a

class Field e a

data a ? tag

class Generic a