doType _ s [Function f rs] = do oPutStrLn $ s++" is a function"
                                oPutStrLn $ pretty $ FunctionDefinition s f rs
                                return True
doType _ s [Function f rs] = do oPutStrLn $ s++" is a function"
                                oPutStrLn $ pretty $ FunctionDefinition s f rs
                                return True
doType _ s [Function f rs] = do oPutStrLn $ s++" is a function"
                                oPutStrLn $ pretty $ FunctionDefinition s f rs
                                return True