:: m Bool -> m Bool -> m Bool package:syb

Examples

>>> ext0 [1 :: Int, 2, 3] [True, False] :: [Int]
[1,2,3]

>>> ext0 [1 :: Int, 2, 3] [4 :: Int, 5, 6] :: [Int]
[4,5,6]