First interface

Nullary from I1

UnaryGeneric from I1

UnarySpecific from I1