{-# LANGUAGE PartialTypeSignatures #-} {-# LANGUAGE MonomorphismRestriction #-} module Defaulting2MROn where bravo :: _ => _ bravo = 3