{-# LANGUAGE QuasiQuotes #-}
module Main (main) where
f [True] = 1
f _ = 0