{-# LANGUAGE PartialTypeSignatures #-} {-# LANGUAGE MonomorphismRestriction #-} module Defaulting1MROn where alpha :: _ alpha = 3