Deparametrising types

Adapting this one:

?

1 Like