pandora v0.1.5 Release Notes

    • โž• Add <&> and >&< methods for Covariant and Contravariant functors accordingly
    • Define Traversable instance for Product datatype
    • ๐Ÿ“‡ Rename Cofree to Twister datatype (we will use the first name later)
    • Define fixity for Jet's and Twister's constructors
    • ๐Ÿ“‡ Rename Exclusive to Avoidable typeclass and exclusive to idle method
    • Define Tagged datatype for attaching type information to the value
    • Define Proxy datatype for holding no data, but having a phantom parameter
    • Define Validation datatype (similar to Conclusion, but can collect errors)