{-# LANGUAGE MultiParamTypeClasses #-}
module Main (main) where

f :: Int
f = 4