myhead :: [a] -> a
myhead (x:_) = x

mytail :: [a] -> [a]
mytail (_:xs) = xs

mylength :: [a] -> Int
mylength [] = 0
mylength (x:xs) = 1 + mylength xs