1 2 3
type Ready = immediate | notify(fd: Int where 0..=1023) struct Root { ready: Ready = immediate } ready = notify(fd = 4096)