{-# LANGUAGE PartialTypeSignatures #-}
module MyLib () where

fails :: _ => a
fails = id $ ()