Attempt at using ajhc to write convex code in Haskell