Zin type family

by Samuel Čarnoký