Learn Haskell and join a company/team/etc that is cool about it. Gotta watch out though - there's a growing cohort of Haskellers out there focusing on appeasing

Learn Haskell and join a company/team/etc that is cool about it. Gotta watch out though - there's a growing cohort of Haskellers out there focusing on appeasing management by putting down advanced stuff by saying such people are "easily distracted by shiny ideas." Definitely some uncool ones out there, but Haskelldom is large so you can definitely find a place that at least allows for advanced type stuff but is still normal software dev. That may scratch that Coq itch.