GHC plugin experiment