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

Magicloud Magiclouds magicloud.magiclouds at gmail.com
Wed Jun 13 11:59:27 CEST 2012

  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

And for G+, please use magiclouds#gmail.com.

More information about the Haskell-Cafe mailing list