module Lib where

import Data.Void

f :: Void -> ()
f x = case x of _ -> ()