Array carries around its length (since 7.2?), so it is capable of being an instance of many well known abstractions:
Read, Show, Eq, Ord, Data, Typeable, Functor, Foldable, Traversable, and IsList all come to mind. For that matter so do Applicative, Alternative, Monad, MonadPlus with concatenative semantics, MonadZip, MonadFix, etc.
dolio
commented
8 years ago
Array carries around its length (since 7.2?), so it is capable of being an instance of many well known abstractions:
Read,Show,Eq,Ord,Data,Typeable,Functor,Foldable,Traversable, andIsListall come to mind. For that matter so doApplicative,Alternative,Monad,MonadPluswith concatenative semantics,MonadZip,MonadFix, etc.