[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

More information about the Haskell-Cafe mailing list