purescript-0.5.4.1: examples/passing/Sequence.purs

module Main where

import Control.Monad.Eff

class Sequence t where
  sequence :: forall m a. (Monad m) => t (m a) -> m (t a)
  
instance sequenceArray :: Sequence [] where
  sequence [] = pure []
  sequence (x:xs) = (:) <$> x <*> sequence xs 

main = sequence $ [Debug.Trace.trace "Done"]