Let GHC automatically fill out