Simplify conv function
Use modifyTVar fn
Remove superfluous $
Pattern matching > head & tail