A GHC plugin that does type-directed eta expansion