GHC.5

This function has been disabled for Among the Coconuts.