import CoalgebraicMuCalculus.FixedPoints
import CoalgebraicMuCalculus.MuCalculus
import CoalgebraicMuCalculus.Instances.Relational