-- Foo performs foo and sometimes bar.

foo ::
  Thoroughness ->
  Int ->
  Int
foo t x =
  if x > 20
    then case t of
      Thorough -> x + 50
      Somewhat -> x + 20
      NotAtAll -> 0
    else 10 + 1
