Perhaps this would be the best book to use as a guide: Modern Compiler Implementation in ML? IIRC it uses Miranda as an example, or at least some small strict FP language.
==
Took a look, its actually a toy FP of the author’s own invention that is used as an example - but still that would be very useful material in the context of implementing a real-world FP language.