[Haskell-cafe] What extension do I need to write "type Job = Map k a"?
Ivan Lazar Miljenovic
ivan.miljenovic at gmail.com
Wed Jun 13 12:44:04 CEST 2012
On 13 June 2012 19:59, Magicloud Magiclouds
<magicloud.magiclouds at gmail.com> wrote:
> Hi,
> I've forgotten this.
> This is OK:
> type Job k a = Map k a
> And this is OK:
> {-# LANGUAGE RankNTypes #-} -- or LiberalTypeSynonyms?
> type Job = forall a. forall k. Map k a
>
> Then how to write it like this?
> type Job = Map k a
Does that even make sense? What are the types of `k' and `a' in Job?
--
Ivan Lazar Miljenovic
Ivan.Miljenovic at gmail.com
http://IvanMiljenovic.wordpress.com
More information about the Haskell-Cafe
mailing list