family types refined so heads need not be just Typ[Term]
family types refined so heads need not be just Typ[Term]

siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround