VarInstances

util

VarInstances1

util

varComonad

VarInstances1

varEq

VarInstances