Mezzo.Model.Rules.Classical

class ValidMelConcat ps1 ps2

class ValidHarmConcat ps

class ValidHomConcat ps

class ValidPitch p

type family ValidMotion (p1 :: PitchType) (p2 :: PitchType) (q1 :: PitchType) (q2 :: PitchType) :: Constraint where ...