Checkpoint in getting it to compile. Stuck at GHC.Types.