POH4 Haskell: finally AC