doType :: String -> String -> [Resolved] -> Shell Bool
doType c s (x:_:_) = doType c s [x]
doType :: String -> String -> [Resolved] -> Shell Bool
doType c s (x:_:_) = doType c s [x]
doType c s (x:_:_) = doType c s [x]