Feldspar.Core.Reify
class Program a