Added hlint fine-tuning. Standardized some formatting.