Re: [Haskell-cafe] What extension do I need to write "type Job = Map k a"?

On 13 June 2012 19:59, Magicloud Magiclouds 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@gmail.com http://IvanMiljenovic.wordpress.com