Just reporting a bug, taking types using '' works fine for: ''Int ''[] But when you try: ''(->) you get: No match in record selector TyCon.algTcRhs Please report it as a compiler bug to glasgow-haskell-bugs at haskell.org, or http://sourceforge.net/projects/ghc/. Keean.