Data.Sized.Fin
data
Fin
n
fromNat
corners
universe
size
data
Nat