(proszę wybaczyć strasznie wymyślony przykład) Co chcę zrobić, to określić typy w którym aktualnie klauzuli: somemap :: (a -> b) -> [a] -> [b]
somemap f xs = ys
where
some = take 5 xs :: [a
Jest to prawdopodobnie bardzo podstawowe pytanie, ale wydaje się, że nie zostało ono uwzględnione w SO. Niedawno odbyła się Haskell i aż do teraz wpisać deklaracje składało się głównie z następujących