[Haskell-beginners] Parametrizing [] as an instance of the Functor type class

[Alexander Berntsen]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Rein and bergey covered most of it. As for

On 05/01/16 14:59, Olumide wrote:
> (BTW, google tells me "term-level" has a special meaning that I do 
> not yet know.)

Term-level is the level "below" types. A term has a type and a type
has a kind.

- -- 3 is a term with type Int.
3   :: Int -- Here :: can be read "has-type"
- -- Int is a type with kind *.
Int :: *   -- Whilst here :: is "has-kind"
- -- 
Alexander
alexander at plaimi.net
https://secure.plaimi.net/~alexander
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCgAGBQJWj5k1AAoJENQqWdRUGk8BmLwP/1yCHs4TMwyZf3IjrQwYf+TN
CKj//05T6vxctnNeehP2B4088lW/0nJNBpOx1MxFe0TDDREpL7uts5CRW5I2xhhu
a5rn0hdshvlFXNXJ7OA+P+Rvlm+zAt0hbLkOst9/dVl70w3s2UqRiskkib0pMUsW
7R8GOX9aS4qUqQi5XH8JG2A2naKSGqWdtz8vI2AJ2jujGIx80zRUKIOrkDf5O6i/
DgQ4d019OaxUAyLJZP9CyuLAhg8up29VVPq0JxV9t3j7BYGnNK3AawEzisklUKlY
M3EfJqbV8OH1Munu/dxHdPzD+XtMEuWkfXe6qWEEytDn1jLcdEYb7YowKRykJron
5OJXLAB1jppO2KvjtZNA6YhVmf8WeEEtdZw6zHtkWgb4M6DHBV5sQ9Gg0R/M3C2u
NKHG+UPq2xL+S3CSQN9PbpVZPQuGuB3heqhfCHtQasvNqJPdqYkgsxRm3TmjW83k
6lvdHSzKWdowUHX72KMkoDGb0obG4ivXfTn2HkCJiVFAuoYwwwWOfzxJAlrmOvFk
7Dv0ZHuHu3AQUqz6IeybkLibFLYoQOqpj1ipKVDxb286CTpx80aF3ZvWkJv2rwoT
V9h8g/wO9gudRTPFS61uEZ9YEcWmAgzKNisMAmicAFATKH+/1Ezr4mh9JyNeafF8
bc5W94c5sGR9etkR8Y4p
=zgxs
-----END PGP SIGNATURE-----