Redirecting to: /post/idris-jvm-guarding-against-java-null-using-maybe-type

Redirecting from /blog/2017/01/10/idris-jvm-guarding-against-java-null-using-maybe-type/ to /post/idris-jvm-guarding-against-java-null-using-maybe-type