[Haskell-cafe] Passing types as arguments

ajb at spamcop.net ajb at spamcop.net
Thu Mar 11 22:50:09 EST 2004

G'day everyone.

Some time ago a suggestion came up about passing types as arguments
to functions:


As a matter of curiosity, the topic has come up again on the wiki:


For this example, we don't just want to pass types, we also want to
pattern match on them.

I'm curious if anyone else has put any thought to this idea.  Is it just
a syntax issue, or are there bad interactions with other parts of the
type system?

Andrew Bromage

More information about the Haskell-Cafe mailing list