@@ -487,19 +487,13 @@ module Data.Array where
487487 import Prelude
488488 import Data.Maybe
489489
490− head :: forall a. [a] -> a
491− head (x : _) = x
492−
493− headSafe :: forall a. [a] -> Maybe a
494− headSafe (x : _) = Just x
495− headSafe _ = Nothing
496−
497− tail :: forall a. [a] -> [a]
498− tail (_ : xs) = xs
490+ head :: forall a. [a] -> Maybe a
491+ head (x : _) = Just x
492+ head _ = Nothing
499493
500− tailSafe :: forall a. [a] -> Maybe [a]
501− tailSafe (_ : xs) = Just xs
502− tailSafe _ = Nothing
494+ tail :: forall a. [a] -> Maybe [a]
495+ tail (_ : xs) = Just xs
496+ tail _ = Nothing
503497
504498 map :: forall a b. (a -> b) -> [a] -> [b]
505499 map _ [] = []
@@ -644,6 +638,14 @@ module Data.Array where
644638 instance Prelude.Alternative [] where
645639 empty = []
646640 (<|>) = concat
641+
642+module Data.Array.Unsafe where
643+
644+ head :: forall a. [a] -> a
645+ head (x : _) = x
646+
647+ tail :: forall a. [a] -> [a]
648+ tail (_ : xs) = xs
647649
648650module Data.Tuple where
649651