Dynamic loading with GHCi Linker