Maybe.Logical: rename constructors (⟦just⟧...)