Unbound.Generics.LocallyNameless.TH
makeClosedAlpha