FailS takes a String, not a Fail
Give type to emptyHeap
Change unused arguments to underscores
Define emptyStore instead of using M.empty
Delete useless empty line
Add patternMatch case for non-matches