I asked about running GHCI on something like the Arduino due, and was told that there wasn't enough CPU on it for that.