a $ span $ toHtml "foo"Result:
<a><span>foo</span></a>
take :: Int -> [a] -> [a] sort :: Ord a => [a] -> [a]by binding them to the following types:
take :: Int -> [A] -> [A] sort :: [A] -> [A]This type is homomorphic to Nat6, B, C, D, E and F. It is instance to several typeclasses so that it can be used to test functions with type contexts.