Generics.Instant.Functions.Empty

class Empty a

empty

class HasRec a