{-# LANGUAGE PartialTypeSignatures #-} {-# LANGUAGE NoMonomorphismRestriction #-} module Defaulting2MROff where bravo :: _ => _ bravo = 3