[GHC] #14602: Implement the pattern synonym construction function signatures proposal