-- Test of Data.HList.HSequence

module HSequenceTest where

import Data.HList.HSequence
import Data.HList.HListPrelude -- (Apply(..), HCons(..), apply, hFoldr, HNil)
import Control.Monad (liftM2)
import Data.HList.TypeCastGeneric2                 -- For tests


hlist = HCons (Just (1 :: Integer)) (HCons (Just 'c') HNil) -- Maybe monad
hlist2 = HCons ([1]) (HCons (['c']) HNil)      -- List monad

testHSequence  = hSequence hlist
testHSequence2 = hSequence hlist2

main :: IO ()
main = do
       print testHSequence
       print testHSequence2