Test.QuickCheck.Laws.Control.Alignable

checkAlignable :: forall f. Alignable f => Arbitrary (f A) => Arbitrary (f B) => Eq (f (These A B)) => Proxy f -> Effect Unit

Instances are required to satisfy the following laws:

• Left Identity: align identity nil x == fmap That x
• Right Identity: align identity x nil ≡ fmap This x