Can we express () in terms of a Record in Idris?

Question

Can we express () i.e Unit type in terms of a Record in Idris ?

Answer 1

You can create a record with no fields.

record Unit where
    constructor MkUnit